Scott Garrabrant comments on Diagonalization Fixed Point Exercises