let is_sub a b =
  match a, b with
    | _, X -> true
    | (X | No), Yes -> false
    | Yes, Yes -> true
    | (X | Yes), No -> false
    | No, No -> true