φ(...) to x. notice that each z∈l for some β<α. combine formulas for the z's with the formula for s and apply existential quantifiers over the z's outside and one gets a formula that defines the constructible set s using only the ordinals α that appear in expressions like x=l as parameters.