A -> a
B -> b
C -> A B
A -> B C
B -> C A

