Zaslat SMS: Abstraction and Compositional Innovation