let bool3or c1 c2 = match c1, c2 with
  | True, _
  | _, True -> True

  | _, Undefined
  | Undefined, _ -> Undefined

  | FalseFalse -> False