Αποστολή με SMS: Procedural Semantics for Hyperintensional Logic