[PD] self-modifying abstractions