use `Vector` here?