gentzen’s nineteen comments