No, Obama doesn’t have to put Hillary on the ticket