"That system of logic may be imbued into a machine without too much difficulty," said Daniel. "And a quarter of a century ago, Dr. Leibniz, building upon the work of Pascal, built a machine that could add, subtract, divide, and multiply. I mean simply to carry the work forward. That is all."