Adele Lopez comments on Diagonalization Fixed Point Exercises