Higman_group loading ...