[PD] $0-abstraction question