By definition, gauge theories - among the cornerstones of fundamental theoretical physics - involve more degrees of freedom than required by the underlying physics. The unphysical degrees of freedom must be shown not to yield unwarranted effects at every step in the formalism where explicit Lorentz covariance is required.