A formal proof that a tax system can function without compliance decisions (papers.ssrn.com) 4 pts|6 days ago|1 comment