Conditional statements and negations