Topic: disjunctive syllogism