User:Dfeuer/Conjunction of Disjunctions