Putting a diamond inside the square

rinot, assaf;

By a 35-year-old theorem of Shelah, λ + ♦(λ+) does not imply ♦λ for regular uncountable cardinals λ.
Here, it is proved that λ + ♦(λ+) is equivalent to ♦λ for every singular cardinal λ.