Re: [PD] example of $1 and inlets in abstractions