Text this: Procedural semantics for hyperintensional logic :