∀は前半が要らん