Email Record: Dynamic epistemic logic /