TagLorentzian length contraction