The logical negation is added