	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.