define contradiction and move negation, close #230