What process is applied if an unexpected result is found during verification?