corrected constraints negation