gentzen’s activity