Higman's_group loading ...