Surjunctive_group loading ...