Did you know that subgroup distortion theory , introduced by Misha Gromov in 1993, can help encode text?