X | Y #### (?> X | Y )