non-null sets now considered