def axpy(scalar: float, x: Vector, y: Vector) -> Vector:
    # precondition
    assert (
        isinstance(x, Vector)
        and isinstance(y, Vector)
        and (isinstance(scalar, (int, float)))
    )
    return x * scalar + y