Textmeddelande: Memoirs of a proof theorist