The variant disjunction elimination rules, and are: ?