Proper_subgroup loading ...