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