Perspectives on proof theory | lit.salon