https://123dok.net/document/qvl70en1-erratum-to-elementary-embeddings-torsion-free-hyperbolic-groups.html