I will sketch the proof of the following recent result. If λ is a singular cardinal, then ▢λ with CHλ is equivalent to (▢-with-built-in-♢)λ. By a 35-year-old result of Shelah, the above equivalence breaks down for λ regular.