Email Record: Advances in intensional logic /