Chapter 3 - The Logic of Quantified Statements