let bool3and c1 c2 = match c1, c2 with | True, True -> True | _, False | False, _ -> False | Undefined, _ | _, Undefined -> Undefined