Comment by xmmrm

>completely removing the need for tests

That would be formal verification.