E + X -> P
P -> E + X
P -> E + Q