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