TagLorentz length contraction