आता X आणि array_len आले आहे आहेत, चेक विशिष्ट स्टेटमेंट जे पॉईंट करत होता ते स्टेटमेंट प्रोसेसर शेवटी इनव्होक करेन आणि आता असे निदर्शनात येईल की X हा array_len पेक्षा मोठा आहे आणि स्पेक्यूलेटीव्ह एक्झिक्युशन जे झालेले होते ते काढून टाकण्यात येतील आणि म्हणून प्रोसेस पण स्पेक्यूलेटीव्हली एक्झिक्युट झालेल्या इन्स्ट्रक्शन काढून टाकतील.
എക്സ്, array_len എന്നിവ എത്തിയതിനാൽ, ഈ പ്രത്യേക statement-ലെ ഈ check ഒടുവിൽ invoke ചെയ്യും. പക്ഷേ array_len നേക്കാൾ x വലുതാണെന്ന് പ്രോസസർ മനസിലാക്കിയാൽ ഇതിനകം  ചെയ്ത എല്ലാ speculative execution-ഉം  ഉപേക്ഷിക്കണം, അതിനാൽ ഈ പ്രക്രിയ ഊഹത്തോടെ നിർവഹിച്ച എല്ലാ നിർദ്ദേശങ്ങളും ഉപേക്ഷിക്കും.