[squokko]

But you can manufacture new areas of mathematics. For example, Conway's Game of Life, and then prove theorems on it.