Memoirs of a proof theorist | lit.salon