Correct explanation of program