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