A 'Grand Unified Theory' of Math Just Got a Little Bit Closer