xor
Predicates