e + x <-> p
p + x -> e + p1
a + p -> e + p2