Below is an embedded specification. We get messages from it and can therefore see what's going on in there.