Invariant_set loading ...