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