% References cited in https://agora.t9k.dev/t/247/a-torsion-free-hyperbolic-group-that-is-neither-residually-finite-nor-l