Lesson 5: Reasoning about square roots