...hm. counter examples are challenging, because

A->B

is... the fundamental operation in the system.