We continue where we left off last week by discussing product forcing as a special case of the successor step in an iterated forcing. After discussing two-step iterations, we then end with a definition of an iterated forcing poset. The eventual goal of these talks is to prove the consistency of MA+~CH with ZFC.