Partial contents: Coetzee's 1997-1998 Tanner lectures in the form of a