>>656
∀の否定が∃?