[PD] example of $1 and inlets in abstractions