User blog comment:Kyodaisuu/Pseudo Rayo's number/@comment-24061664-20140617085557/@comment-5150073-20140617104705

Sorry, I realized that. If we let that every new symbol corresponds to the new type, then right.