Email Record: Automated Deduction - CADE 28 :