Our Vision for Unified Mathematics