Title: Propositional Quantifiers