PRIMSによればIUTTはA=BながらA≠Bだからなんでもあり。