Comprehensive mathematics