For A(w)+B(w)→C(w)