# Lesson 7: Logic of Quantified Statements