>>482
いや、今お前がイライラしてる間に HoTT 読んでるから、またマウントよろ。