Lesson 2: Truth and equations