I thought he was off the ballot if he is the nominee.
The GOP will just switch from election to caucus format. This makes it worse for Dems because they can also make it closed party.