The insertion of an all knowing checker who could have written it himself anyway

The checker does make all the difference, but he doesn’t need to be able to write it by himself. It could be even a brainless process, such as natural selection.