Email Record: Automated deduction - CADE 26 /