added negate to cnf