The Ultimate-
conjecture asserts, in a setting involving suitably large cardinals,
the existence of an Ultimate L-like inner model and
predicts that the set-theoretic universe satisfies
The conjecture is part of Woodin's Ultimate- program for extending canonical inner model theory to very
strong cardinals.