 The analogy between L(ℝ) and L(Vλ+1) is based on the observation that L(ℝ) is simply L(Vω+1). Thus, λ is the analogue of ω, λ+ is the analogue of ω1, and so on. As an example of the parallel between the structure theory of L(ℝ) under ADL(ℝ) and the structure theory of L(Vλ+1) under the embedding axiom, let us mention that in the first case, ω1 is a measurable cardinal in L(ℝ) and, in the second case, the analogue of ω1—namely, λ+—is a measurable cardinal in L(Vλ+1). This result is due to Woodin and is just one instance from among many examples of the parallel that are contained in his work. 