A -> B
B -> A
A -> C
