'Well, you can't just do it at random, ' Leibniz said, 'any more than Euclid could draw lines and circles at random, and come up with theorems. There has to be a formal system of rules, according to which the numbers are combined.'