xor
BoolFunctions
DualBool
Heyting