Advances in proof theory.