[PD] Cascading abstractions