--> p1 p2
<-> --> p1 p2 p3
--> --> p1 p2 --> p2 p1