  We obtain strong coloring theorems at successors of singular cardinals from
failures of certain instances of simultaneous reflection of stationary sets.
Along the way, we establish new results in club-guessing and in the general
theory of ideals.

Logic