This two part talk will give an introduction to the theory of iterated proper forcing and how
it is used to produce models of the Continuum Hypothesis. These preparatory talks
will be followed by a more specific consistency result the following week.