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