The GOP primary is going to be fun