Can someone explain why the whole thing isn't simply the abuse of the universal quantifier? It SOUNDS like there are two "alls" here - ALL[0] is a proper subset of ALL[1].

If set theory is an obscene tool for this subject, I promise to rend my garment and heap ashes on my head. But only in an aphysical manner...