The primal framework. II. Smoothness
  This is the second in a series of articles developing abstract classification theory for classes that have a notion of prime models over independent pairs and over chains. It deals with the problem of smoothness and establishing the existence and uniqueness of a `monster model'. We work here with a predicate for a canonically prime model. 
John T. Baldwin, Saharon Shelah