not : Bool -> Bool
not false = true
not x     = false