TF + X -> Xa_Va
II + TF + X -> IIa + TF + X
II + Xa_Va -> Xa_Va_II
Xa_Va_II -> Xa_Va + mIIa
Xa_Va + mIIa -> IIa + Xa_Va
mIIa -> mIIa_ATIII
IIa -> IIa_ATIII