The fact that we talk about 'meta-information' doesn't mean that it
should appear in a particular place in the protocol labelled as
In fact, it would be desirable to have a recursive theory and implementation
so that you can talk ABOUT the "meta" at any level.
This is where you go when you take links seriously.