Using positive conditionals
Optimization