Kanıt daha tutarlı olduğunda, analist modeli doğrular ve bununla ilgili başkalarını arar.
Kanıt tutarlı olduğunda, analist şablonu doğrulayabilir.
Kanıt tutarlı olduğunda, analist hala düzeni doğrulayamıyor.