Operational semantics
As another example, we can allow 2-cells labelled with strings, so we can model a language with print statements, for example:
'hello'
'world'
'hello'