fixing dubble negation