S + Y -> 2*X
2*X -> X + Y
X + Y -> P + Y
X -> P