 Stronger large cardinal axioms imply that many sets of reals beyond L(ℝ) are universally Baire. Let us call a set absolutely Δ21 if there are Σ21 formulas which define complementary sets of reals in all generic extensions. Woodin showed that if there is a proper class of measurable Woodin cardinals then all absolutely Δ21 sets of reals are universally   Baire.[13]   This is one precise sense in which CH was an unfortunate choice of a test case for the program for large cardinals—large cardinal axioms effectively settle all questions of complexity strictly below (in the above sense) that of  CH.[14] 