Re: [PD] in/out-let order in abstraction