renamed to onlyThisOrThat, removed fromDisjunction