[PD] abstraction setting its own arguments