get rid of double negations