It's natural to distinguish between wallclock time and duration time; or, time used to fix events chronologically and time used to figure out how long to do som

It's natural to distinguish between wallclock time and duration time; or, time used to fix events chronologically and time used to figure out how long to do something. The first kind of time is the only plausible use case for leap seconds, because if you insert a leap second into the command "run main motor three seconds" you're going to be in a lot of trouble.