Some centuries before Mermin, Leibniz in the 17th century was seeking a solution to some of the denominational quarrels that were plaguing his generation by envisioning a *calculus ratiocinator* that would make it possible for the quarreling parties to "sit down and calculate". A hypothetical science he envisioned was called *Mathesis Universalis* and included his infinitesimal calculus as a first stage.