 Proper-time normalization

With signature $(-,+,+,+)$ and units $c=1$, parametrizing a timelike worldline by proper time makes its four-velocity satisfy $U^a{U}_a=-1$.