Welke procedure wordt toegepast als tijdens de verificatie een onverwacht resultaat wordt gevonden?