发送短信: Procedural Semantics for Hyperintensional Logic