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