>>52
「言ってること」=「(2) P'が無限ループにならないなら(P'は)わざと無限ループする」