fix contradictory example in Conditionals