IRS cxomputers are adept at comparing Lne 6a with the true amount from SSA, and correcting it.
That's what they do. It's in their nature.
@RoyK1
