In commenting on Marquand's machine, Pierce suggested that a system of batteries and switches could be hooked up to solve very difficult problems in formal logic. This would include most of the theorems of algebra and geometry. This is remarkably like the idea basic to the modern computer -- all arithmetic operations have electrical counter-parts.