Embedding finitely presented self-similar groups into finitely presented simple groups | Synapse