defn not b = {
    case b of {
        False -> { True }
        True -> { False }
    }
}