  This pattern recurs at higher levels under stronger forms of determinacy. For example, under ADL(ℝ) the pattern recurs throughout the transfinite extension of the projective sets within L(ℝ). For all of L(ℝ) one has: 