dτ = √(1-v²/c²) dt = √(-η_μν dx^μ dx^ν)/c; measured Δτ invariant under Lorentz. Muon experiments, GPS.