Email Record: Automated deduction - CADE 24 :