Re: [PD] $0-abstraction question