Notice that BRST transformations are symmetries, and therefore both and commute with and . This leads to the tautological identity:

And more generally:

As with zero curvature, this tautological identity can be made nontrivial by promoting and from generators of to generators of . We should also modify the Lax operator as in Eq. (17).