Figure 2. Automatic discovery, generating hypotheses, in error detection.