O = Intersect(xAxis, yAxis)
c = Circle(O, 1.0)
I = Point(c)
J = Point(c)
a = OrthogonalLine(I, xAxis)
A = Point(a)
f: y(A)
M = Rotate(I, f, O)
α = Angle(I, O, M)
u = Vector(O, M)