Any of the wonkier types know what happens now, given that the Republican primary was two weeks ago?