Question regarding "Prog Revisited"