TVA nuclear vs TVA coal wasn't a binary choice. TVA coal was likely the least-expensive offset, but TVA could have purchased hydro or gas-turbine power. Also, I suspect that the coal plants used were among the oldest and most-polluting.