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