[PD] recursive abstractions