Turn human language into formal grammar,

Then we can settle disagreements with a pencil.

Or a calculating machine.

Then we can settle disagreements with a pencil.

Or a calculating machine.

*"If controversies were to arise there would be no more need of disputation...*

For it would suffice to take their pencils in their hands, and say to each other,

For it would suffice to take their pencils in their hands, and say to each other,

Let's Calculate"