In this talk we develop iterability theory for a single measure, give an inner model theoretic representation of 0-sharp, and show how this representation leads to non-trivial embedding of L into L.