"of the Senate, is going to lose his primary race to a guy named Mike Lee"