⊤ ⊑ ∀ population.integer