Email Record: Procedural semantics for hyperintensional logic :