Point (m, m’) is rotated about line ab. Point n on the horizontal plane is the foot of the perpendicular from the point to line ab. Point M1 is the result of rotation of the point about line nm; M2 is the result of rotation about line ab.
For more details, see COLL.1986.0885 and 1986.0885.01.01.