Gauge-invariant observables (those commuting with all constraints) have well-defined dynamics withou...
This proposition has not been edited since the history system was added.