[PD] dynamic abstractions