(((a implies b) implies b) xor a) xor b