  We develop the basic fine structure theory of the minimal model of the
Largest Suslin Axiom. In particular, we prove that that the minimal model of
the Largest Suslin Axiom satisfies the Mouse Set Conjecture, and that the
Proper Forcing Axiom implies the minimal model of the Largest Suslin Axiom
exists.
