It wouldn’t be necessary because most of those 12,000 votes would have gone to him anyway, I am sure.
My point is his vote total is higher. But I read yesterday that he passed her in the popular vote too.