The book develops the technical machinery to study the minimal model of the Largest Suslin Axiom, and it is a contribution to the Gödel's Program, a central program in the philosophy of mathematics. It will be indispensable for graduate students and researchers in mathematics and philosophy of mathematics.