  These ideas can be carried further. Earman (2003) has generalized this approach and suggests that the constrained Hamiltonian formalism gives principled reason for deciding whether a transformation is a gauge transformation. (For an entry into philosophical problems associated with gauge transformations, see the entry on   symmetry and symmetry breaking, especially Section 2.5; and Brading and Castellani (2003).)