In the [readme](https://github.com/Certora/Tutorials/tree/master/08.Lesson_WorkingWithInvariants/InvariantsConcepts#readme) for the InvariantsConcepts part of Lesson 8, all the hints under the Exercise section are the same.
In the readme for the InvariantsConcepts part of Lesson 8, all the hints under the Exercise section are the same.