true  = (1==1)
false = \true