[see also: carry out, make
These calculations can be performed entirely in terms of the generators of G.
Its role is to rule out having two or more consecutive P-moves (on the grounds that they can be performed in one go).