It seems that $IP will definitely encounter 4.