So do we vote for Gary Johnson, write in Ron Paul, or just not vote? I'm not sure which of those things to do.