 Again, to avoid circularity, \(B\) cannot be free in \(\phi\). This demands that in order to gain entry into \(B, x\) must be a member of an existing set \(A\). As one might imagine, this requires a host of additional set-existence axioms, none of which would be required if NC had held up. 