Implementing {rotate}