We define a rich model to be one which contains a proper elementary substructure isomorphic to itself. Existence, non-structure, and categoricity theorems for rich models are proved. We show that a countable theory with few rich models is categorical in Ki. We also consider a stronger notion of richness, and in discussing it prove: "If T is an unstable theory, then for any saturated model M of ...