User talk:Dfeuer/Conjunction of Disjunctions