ET8-Lesson 8: Definite Assumptions