Email Record: Deducibility and decidability /