the main stream of mathematics