[PD] v_abstraction?