Well, yes. Making A.I. would simply quash all remaining arguments that any group of humans could make through brute-force mathematics.

So long as subtraction doesn't equate to anything more than reduction to an infinitesimal, where's the harm/problem/concern?

>c.ASI