If the two running pointers meet, this means that a loop is found. After that, if the slower pointer is reseted to the beginning, next time they meet will be at the head of the loop.