まあ、そんなことだろうとおもったよ

「p∈Pが真の問題ではない。
真の問題は、IUTがp≠Pであるにもかかわらずp=Pと仮定している点にある。
「∈ループ」とは、IUT内で矛盾を生じさせる同一視を婉曲に表現した言葉に過ぎない。」

「p=P と仮定することで生じる矛盾を保留するために導入された
ラベル付けの仕組みを取り除くと、その矛盾が即座に明らかになる」

「（ラベル付けの仕組みは）
構文エラーが発生しているにもかかわらず、
エラーメッセージが表示されないように、
あるコンピュータで左辺を、
別のコンピュータで右辺を
処理するようなものです。
ショルツとスティックスによる議論は、
すべてを 2 つのホッジ劇場とシータリンクに単純化し、
本質的には
「最初から 1台のコンピューターでこれを実行して、何が起こるかを確かめよう」
というものです。　
もちろん、その答えは、
「構文エラーがすぐに発生する」
というものです。」