Followers of ∞ > P(ω₁)