The tetrad formalism introduces local Lorentz freedom as a gauge symmetry, but Rosenfeld's 1930 anal...