Definable_set loading ...