Abstract
Different choices of subalgebra H under which the action is gauge invariant by construction and different detrivialization terms all lead to the same second-order theory, although the first-order theories are different.