There is an intrinsic connection between Gentzen's ordinal assignment to deductions in PA and the st...