SMS dit: Finitely presented infinite simple groups