Loop Detection
P1
P2