proving that the axiom of separation, axiom of replacement, and axiom of choice hold in l requires (at least as shown above) the use of a reflection principle for l. here we describe such a principle.