  Together, these facts help us to isolate what's really going on in the transitive submodel version of Skolem's Paradox. Consider again the formula we've been calling Ω(x). This formula has the form: