 One then quantizes the theory to obtain a Hamiltonian system in the interaction picture in such a way that the "unphysical" fields introduced by the gauge fixing procedure resolve gauge anomalies without appearing in the asymptotic states of the theory.The result is a set of Feynman rules for use in a Dyson series perturbative expansion of the S-matrix which guarantee that it is unitary and renormalizable at each loop order—in short, a coherent approximation technique for making physical predictions about the results of scattering experiments.This is related to a supersymplectic manifold where pure operators are graded by integral ghost numbers and we have a BRST cohomology.