  In this way the two approaches to new axioms—via axioms of definable determinacy and via large cardinal axioms—were shown to be closely related. In fact, in subsequent work it was shown that the connections are much deeper. But to fully appreciate this we must first introduce the machinery of inner model theory. 