Non-abelian_group loading ...