A negation of statment that is always true statement is never true?
Example: Let x be an integer, the following statement is always true:
"either x is even or x is odd".
However, the negation of the above statement is possibly never true:
"Neither x is odd and x is even".
We might possibly generate a snippet of if else statement that never be entered into.