Title: A unified treatment of elementary proof theory