Syndetic_set loading ...