gentzen’s two sessions