iutでも、set theoretic formulasを扱おうってのに
本気で人が集合を操作できると思ってるらしいから
お似合いかもねー