If Bernie ends up losing the nominations, would supporting Gary Johnson be the next best thing?