it is well known that the axiom of choice is equivalent to the ability to well-order every set. being able to well-order the proper class v (as we have done here with l) is equivalent to the axiom of global choice, which is more powerful than the ordinary axiom of choice because it also covers proper classes of non-empty sets.