發送短信 : Abstraction and Compositional Innovation