Nonempty_set loading ...