Fortune Quote #2406

This [proving the second incompleteness theorem] is not something you want
to do more than once in your life. Until you have to teach the class a few
years from now; then you have to do it again. -- John Clemens, Math
116b