Formalizing =/= proof. There's nothing to prove. Don't change the headline if you don't know what you're talking about.

Also it's funny how this formalization reveals MANY inconsistencies in the law. I have no doubt that the legal system is formally a huge turd. Imagine if they did this for the death penalty. Too bad these computers are controlled by the ultra privileged. Ofc they're trying to dodge taxes.