Enviar por SMS: Abstraction by symbolic indexing transformations