This is actually a good point.

Where are the weird discoveries? Something like "super regular expressions", some patterns that are just as simple but way more expressive. Where is a better axiomatization of arithmetic than Peano's? Can you make a Y combinator out of B and M primitives?