let bool3not c =
  match c with
    | True -> False
    | False -> True
    | Undefined -> Undefined