SMS: Memoirs of a proof theorist