in this problem, we have to determine that if we have some code that does some stuff, and we have a list, and we compute some solution, that if i insert this call to the function "proc" 1, 2, 3, or 4 as we'll go through them that this code behaves exactly the same no matter what else it does.