Когато доказателствата са по-последователни, отколкото не, анализаторът потвърждава модела и търси други, свързани с него.
Когато доказателствата са последователни, анализаторът може да потвърди модела.