 It turns out, however, that there are other candidate axioms that share these features, and so the spectre of pluralism reappears. For example, there are axioms V = LΩS and V = LΩ(∗). These axioms would also be “effectively complete” and compatible with all large cardinal axioms. Yet they would resolve various questions differently than the axiom V = LΩ. For example, the axiom, V = LΩ(∗) would imply ¬CH. How, then, is one to adjudicate between them? 