The Republican primary