Conjunctions and Universal Quantifiers