notice that this well-ordering can be defined within l itself by a formula of set theory with no parameters, only the free-variables x and y. and this formula gives the same truth value regardless of whether it is evaluated in l, v, or w (some other standard model of zf with the same ordinals) and we will suppose that the formula is false if either x or y is not in l.