∀が最後なのはわかる