Assuming that there are ω2 many Woodin cardinals with a measurable above them, we will continue the outline of the proof of the uniqueness of the models of the form L(ℝ,μ) that satisfy the theory “ZF+AD+ μ is an ℝ-supercompact measure”. If time permits we will discuss other scenarios and results.