Genitzen's second Consistency proof and predicative analysis. - Schönhein, Roger (1974)