a 'nand' b is Function of Y,BOOLEAN ;
hence a 'nand' b is Function of Y,BOOLEAN ; :: thesis: verum