Finitely_generated_group loading ...