Notes:

Let's make the boundary explicit – that's another of the 15 properties.

This is composable!