Title: Gentzen's second consistency of proof and predicative analysis