Shelah’s “Cov vs. pp problem” arose as part of his program to determine the extent to which pcf theory captures cardinal arithmetic at singular cardinals. Our talk will present a survey of the terrain, and then move on to more recent results.