rej14: Better (maybe) concretization negation when iterating