In response to the referee's report on
135. Span composition using fake pullbacks; see (link)
I have added a section. This talk is about that section. It involves distributive laws and the PROP for monoids.