module Prelude where

not :: Bool -> Bool
not True = False
not False = True