giving to the negation of four