5.2.2 Universal Statements