Negative set generation complete