Finite_group loading ...