On Friday, 22 September 2023 at 22:14:43 UTC+2, Tom Roberts wrote:

[NOTE: I did not create this terminology, which contains
an important PUN on "second". While GPS coordinate time
talks about "seconds", the word has a DIFFERENT MEANING

So, part of your SI/proper time there is still
real time, driven by real seconds, applied by real
observers for real measurements.

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)