Seol mar théacs é seo: Finitely presented infinite simple groups