 This last statement is the key to "BRST quantization", as opposed to mere "BRST symmetry" or "BRST transformation".In order to do the BRST method justice, we must switch from the "algebra-valued fields on Minkowski space" picture typical of quantum field theory texts (and of the above exposition) to the language of fiber bundles, in which there are two quite different ways to look at a gauge transformation