Dirac's constrained Hamiltonian formalism reveals the constraints are first-class, meaning they gene...