Added missing negation tests