Co-Hopfian_group loading ...