If we should investigate the production of deductions and had the power of discovering them, and further if we could resolve the deductions produced into the aforementioned figures, our original project would be brought to a conclusion.