単遠アーベル幾何学の話をざっと見ると構成的な話に思えるのに、IUTでは存在証明的になってたり違和感はあるわな。
単遠アーベル幾何学のエタール基本群の位相群からの構成的復元方法に問題があるとしか思えん。