Constructing Finitely Presented Simple Groups That Contain Grigorchuk Groups

We construct infinite finitely presented simple groups that have subgroups isomorphic to Grigorchuk groups. We also prove that up to one possible exception all previously known finitely presented simple groups are torsion locally finite.