Simple support for disjunctions.