let orelse r s a b =
    match r a b with
      | Three.X -> s a b
      | res -> res