He probably has something among the lines of the following table:
local points = {
Vector3.new(0,1,1);
Vector3.new(7,1,2);
Vector3.new(5,0,1);
Vector3.new(6,3,4);
}
Assuming v is indeed a Vector3 value, your statement should be fine, but I'd advice against using an exact value for .magnitude. That's harder to get than the exact position.
repeat wait() until (game.Workspace.Model.Torso.Position - v).magnitude <= 1
"I WILL GIVE YOU BACON." - Deadmau5
~Scarfacial |