∀n∈ℕ∃m∈ℕ:m>n's inventory is currently private.