explicit rotations