发送短信: A Theory of Conjunction and Concurrency