[PD] Having trouble using rradical abstractions