Resolvent_set loading ...