not=(\x.If x False True) :: Bool -> Bool

not False