Characteristically_simple_group loading ...