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