P1
P2
p1.is_tailing(p2) = false
P1
P2
p1.is_tailing(p2) = false
P1
P2
p1.is_tailing(p2) = false
P1
P2
p1.is_tailing(p2) = false
P1
P2
p1.is_tailing(p2) = false
P1
P2
p1.is_tailing(p2) = false
P1
P2
p1.is_tailing(p2) = false
P1
P2
p1.is_tailing(p2) = true
P1
P2
p1.is_tailing(p2) = false