Abstract: | We present a technique for coding sets ``into ,' where is the core model below a strong cardinal. Specifically, we show that if there is no inner model with a strong cardinal then any can be made (in the codes) in a reasonable and stationary preserving set generic extension. |