And I have developed a logical calculus well adapted to regulate the workings of the machine.

It was complemented by logical symbolism and logical calculus, very successful in formalizing dualism, and in eliminating logical models not fitting the dualistic structure.