What promotes math progress even more than new ideas are new technical tools and habits of thought that encapsulate existing ideas, so that insights of one generation become the instincts of the next.