发送短信: The semantics of coordination