then we said we have to have 1 part that ensures that the first snapshot properly represents the starting conditions so that it properly the algorithm starting at line one and also the memory representing the input for the problem.