Definition:Plane Rotation