let bool3and c1 c2 = match c1, c2 with
  | TrueTrue -> True

  | _, False
  | False, _ -> False

  | Undefined, _
  | _, Undefined -> Undefined