actually, even this complex formula has been simplified from what the instructions given in the first paragraph would yield. but the point remains, there is a formula of set theory that is true only for the desired constructible set s and that contains parameters only for ordinals.