setup: then Then . Then . Can reparameterize s as . Then . is a contravariant 4-vector which is the analog of velocity. If particle velocity is , then . From this, .