Enviar aquest missatge de text: Abstraction by symbolic indexing transformations