Disjunction Destruction Details