Now our own Vector2 is made use of in model.sat package.