Automated Reasoning Quotes