エタール的なデータから目的の体をアルゴリズム的に復元できれば（環構造と両立しない）エタール的変形が計算できるというのがモチベーションなのね
普通に代数体とかで計算例挙げて非自明な結果が出ることを示せば納得する人も増えると思うが