 We have discussed two recovery results for ADL(ℝ). First, ADL(ℝ) is implied by its structural consequences (Theorem 4.2). Second, ADL(ℝ) is recovered by the generic absoluteness that follows from large cardinals that imply ADL(ℝ) (Theorem 4.11). 