Renamed Alternation to Disjunction.