For Conditional Syllogism and other bugs