Every time I hear a libertarian say "taxation is theft" I counter with, "No, it's vendor lock-in!"