Using `Admachine.rotate`