⊤ ⊑ ∀ population.double