Talk:Simplification of disjunctive antecedents