if w is any standard model of zf sharing the same ordinals as v, then the l defined in w is the same as the l defined in v. in particular, l is the same in w and v, for any ordinal α. and the same formulas and parameters in def (l) produce the same constructible sets in l.