Fix an Ordinal and a Forcing Partial Order . Define . Let be such that has the -Chain Condition. Thus there are at most many Antichains. Thus there are at most many Nice Names. Corollary If and then define to be such that Then the Model Extension has: Proof Every subset of in has a Nice Name in . Also there are at most Nice Names.