Mark Xu comments on Diagonalization Fixed Point Exercises