Writing a rule to describe a rotation