redlizard comments on Fixed Point Exercises