Text this: On hilbert's fifth problem