Molecules

E(b)

E b

F(b)

F b

B(e~0~1,b,Y~U~P)

B e 0 1 b Y U P

Species

E(b)

E b

F(b)

F b

B(e~0,b,Y~U)

B e 0 b Y U

Observables

W B(e~0,b,Y~P)

B e 0 b Y P

W B(e~0,b,Y~U)

B e 0 b Y U

W B(e~1,b)

B e 1 b Y U ?P

U B(e~0,b!1,Y~P!1)

B e 0 b Y P

E E(b!+)

E b

Reaction Rules

E(b) + B(e~0,b,Y~U) <-> E(b!1).B(e~1,b,Y~U!1)

E ⬇⬆b ⬇⬆ B e 0 1 take all branches, once each, in any order⬇⬆ b Y ⬇⬆U

E(b!1).B(e~1,b,Y~U!1) -> E(b) + B(e~0,b,Y~P)

E ⬆b ⬆ B e 0 1 take one or more branches, once each, in any order⬆ b Y ⬆U P take all branches, once each, in any order⬇

F(b) + B(e~0,b,Y~P) <-> F(b!1).B(e~1,b,Y~P!1)

F ⬇⬆b ⬇⬆ B e 0 1 take all branches, once each, in any order⬇⬆ b Y ⬇⬆P

F(b!1).B(e~1,b,Y~P!1) -> F(b) + B(e~0,b,Y~U)

F ⬆b ⬆ B e 0 1 take one or more branches, once each, in any order⬆ b Y U ⬆P take one or more branches, once each, in any order⬆

B(e~0,b,Y~P) <-> B(e~0,b!1,Y~P!1)

B e 0 ⬇⬆b Y ⬇⬆P

B(e~0,Y~P) + B(e~0,b) <-> B(e~0,Y~P!1).B(e~0,b!1)

B e 0 ?b Y ⬇⬆P ⬇⬆ B e 0 ⬇⬆b Y U ?P