A formal proof that a tax system can function without compliance decisions | Heykuki News