a implies: b
a xor: b