The goal of this series of talks is to describe and check a scenario (due primarily to Hugh Woodin, with contributions by Andrew Brooke-Taylor, James Cummings , Moti Gitik, Menachem Magidor, Ralf Schindler, and Philip Welch) for a proof of the following theorem: if c is Cohen-generic over L, then there is a transitive class model M intermediate between L and L[c] which is not of the form L(A) for any A.