Email Record: Automated Deduction - CADE 29 :