logical negation and some notes