Taxation is theft, by definition