Leibniz’s imagined universal symbolic language, in which every concept would have a precise sign. Paired with a calculus ratiocinator for reasoning in that language, it would let disputes be settled by calculation: “Let us calculate.” It anticipates formal logic, programming languages, and the hope that judgment can be computed.