reconsider a = a, b = b as Element of Funcs Y,BOOLEAN ;
a 'xor' b is Element of Funcs Y,BOOLEAN ;
hence a 'xor' b is Element of Funcs Y,BOOLEAN ; :: thesis: verum