[PD] problem with [pdp_theorin~]