The idea is that
- when it is not in the memory, it is considered as true
- it is set to false after each step is executed