(==>) :: Bool -> Bool -> Bool
x == > y = (not x) || y