Գրեք սա: Abstraction by symbolic indexing transformations