 How then shall one select from among these theories? Woodin's work in this area goes a good deal beyond Theorem 5.1. In addition to isolating an axiom that satisfies (1) of Theorem 5.1 (assuming Ω-satisfiability), he isolates a very special such axiom, namely, the axiom (∗) (“star”) mentioned earlier. 