Shouldn't Paul be running against Barr for the libertarian spot at this point?