secondly, it will also ensure that the machine starts out in the right place, meaning it starts out at line 1 of the code and representing the input for the problem, it will ensure that all the snapshots that it has figured out will fit together and it can only return yes if the algorithm returns yes at some point in time.