constant over orbits and agree over the constrained subspace. In general, one cannot rule out "ergodic" flows (which basically means that an orbit is dense in some open set), or "subergodic" flows (which an orbit dense in some submanifold of dimension greater than the orbit's dimension). We can't have self-intersecting orbits. For most "practical" applications of first-class constraints, we do not see such complications: the quotient space of the restricted subspace by the f-flows (in other words, the orbit space) is well behaved enough to act as a differentiable manifold, which can be turned into a symplectic manifold by projecting the symplectic form of M onto it (this can be shown to be well defined). In light of the observation about physical observables mentioned earlier, we can work with this more "physical" smaller symplectic manifold, but with 2n fewer dimensions. In general, the quotient space is a bit difficult to work with when doing concrete calculations (not to mention nonlocal when working with diffeomorphism constraints), so what is usually done instead is something similar. Note that the restricted submanifold is a bundle (but not a fiber bundle in general) over the quotient manifold. So, instead of working with the quotient manifold, we can work with a section of the bundle instead. This is called gauge fixing. The major problem is this bundle might not have a global section in general. This is where the "problem" of global anomalies comes in, for example. A global anomaly is different from the Gribov ambiguity, which is when a gauge fixing doesn't work to fix a gauge uniquely, in a global anomaly, there is no consistent definition of the gauge field. A global anomaly is a barrier to defining a quantum gauge theory discovered by Witten in 1980. What have been described are irreducible first-class constraints. Another complication is that Δf might not be right invertible on subspaces of the restricted submanifold of codimension 1 or greater (which violates the stronger assumption stated earlier in this article). This happens, for example in the cotetrad formulation of general relativity, at the subspace of configurations where the cotetrad field and the connection form happen to be zero over some open subset of space. Here, the constraints are the diffeomorphism constraints. One way to get around this is this: For reducible constraints, we relax the condition on the right invertibility of Δf into this one: Any smooth