The system operates on inputs and outputs. There is an input, and there must be an output, and we already know what the output should be. Normally, in this system, we will check at the output stage to ensure the results appear as they should.
On October 31st, 2017. See this statement in context.