[see also: reason
Its role is to rule out having two or more consecutive P-moves (on the grounds that they can be performed in one go).