Email Record: Automated deduction--CADE-23 :