fixed bug related to state negation