Holonomy_group loading ...