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