Email Record: Memoirs of a proof theorist :