  Much of the theory of large cardinals beyond a measurable cardinal concerns
the structure of elementary embeddings of the universe of sets into inner
models. This paper seeks to answer the question of whether the inner model
uniquely determines the elementary embedding.
