rock ≻ scissors ≻ paper ≻ rock “beats” is not a transitive relation. in fact, Rochambot is an example of Logical Circular Logic. Rochambot obeys the non-wellfoundedness axiom (it’s a stream). it’s the cyclic group P₃.