发送短信: The diamond lemma