Better negation in conditionals.