We will finish the proof that under GCH, dense ideals cannot exist at successors of singular cardinals.  Then we will outline how to separate the density property from the disjoint refinement property above aleph_1, and note remaining open questions.