I’m still working away on my draft book on the incompleteness theorems, in between the delights of marking tripos papers. I’ve just uploaded a new near-final(?) version of Chapters 1 to 22 — the first two hunded pages — to www.godelbook.net; all comments are still most welcome. Don’t all rush at once …