because both the l of l and the v of l are the real l and both the l of l and the v of l are the real l, we get that v=l is true in l and in any l that is a model of zf. however, v=l does not hold in any other standard model of zf.