module X where

True ==> False = False
_    ==> _     = True