The test of a good theory is that there should be twice as many theorems as the number of definitions.