Logic Statements and Quantifiers