>>302
元トポスとか知らんぞ(´・ω・`)