[PD] Abstractions with arrays?