Much like a framework that allows code fragments in software documentation to be tested to make sure they run properly, one aspect of this "executable grammar" idea is that any references to language examples should be linked back to a corpus in such a way that it can be verified that both the example and citation are correct.