2. Sets and statements that say exactly what they mean
Use sets, membership, unions, intersections, complements, and quantifiers such as “for every” and “there exists.” The chapter builds the language needed to state strange behavior without confusion.