Therefore the 'extra' local Lorentz freedom indicates redundancy in the tetrad formalism rather than...