When a test case fails, the lgc compiler writes the test case to the diagnose and writes the generic 'claim failed' message to the terminal. Such failed test cases may be difficult to look up in the present chapter.