Отправить по sms: Procedural Semantics for Hyperintensional Logic