Email Record: Advances in proof theory.