 The motivation came from the celebrated results of Foreman, Magidor and Shelah on Martin's Maximum (MM), which showed that assuming large cardinal axioms one can always force to obtain a precipitous ideal on ℵ2 without collapsing ℵ2 (see Foreman, Magidor &amp; Shelah (1988)). The program involved a two-part strategy: 