let union a b =
  match a, b with
    | _, X -> X
    | X, _ -> X
    | No, No -> No
    | Yes,Yes -> Yes
    | No, Yes -> X
    | Yes, No -> X