  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.
