Transitive_set loading ...