これは個人的な想像ですが、ショルツとスティックスとではIUT問題の力点が違うような気がします
たぶん、スティックスは充満多重同型についてはそんなに問題にしておらず、不定性の管理、
つまりラベルの使用の仕方に問題があると思っているのではないかと（クオンタ誌を読む限りでは）

それに対してショルツは、同型問題からしてダメ出しをしているという感じですね