 As Gentzen recounts matters at the very beginning of his dissertation (1934/35), he was led by the investigation of the natural calculus to his  Hauptsatz[13]  when he could not extend the considerations to classical logic.