“A libertarian presidential candidate isn't going to win anyway, so he can afford to say that all taxation is theft, and it isn't the job of a libertarian presidential candidate to cook up new ways to commit theft.”