E + P <-> E_P_1
E_P_1 -> E + M
E + M <-> E_M
E_M -> E + T
E + P <-> E_P_2
E_P_2 -> E + P2
E + P2 <-> E_P2
E_P2 -> E + T