Rule modus tollens
Bug fixes
Rule hypothetical syllogism