tax is theft.