agent P(x,y) = 'x.Q<x,y>
agent Q(x,y) = y.P<x,y>