[r-t] What IS a rotation of a method?

[James White]

>> But what an ugly mess we will be in if, from our theoretical viewpoint, we do not accept that rotations of a method are (in some sense) all the same.

Perhaps yes, rotations are the same method theoretically, but allowing different names for rotations is just common sense so that we can talk simply about these things.

We will just need to keep a record of such names.