Unified mathematics