A loop uses two pointers, left and right, to scan inward from both ends of an array. It should stop after the pointers meet or cross. Which condition is correct?