Однак, змінилось дещо важливе: тепер існує можливість передати контроль до nonneg з іншого місця в програмі. Інакше кажучи, ми більше не можемо сказати, що по досягненні наступної за цим шматком коду інструкції n невід'ємне.