With this signature, the proper-time is defined by
.