[PD] abstractions with arguments