Global resource of innovative mathematical ideas. Discovery for the 21st century. Abstract reductionism realized. And modular rules.