A unified treatment of elementary proof theory | lit.salon