Hopfian_group loading ...