Taxation = Theft (Theft) - Pump