Գրեք սա: Procedural Semantics for Hyperintensional Logic