B -> A
A -> B