rotate (13,16) counterclockwise pi/2 radians