{ (cA)(cB)(f)(x) //[x]</[f][cA]></[f][cB]>      | c_add     }