Finitely-presented group