> This is not slowing down a clock for a while because it runs fast, but slowing it down to make it run too slow, and then skipping a leap second. Ok, I see th

> This is not slowing down a clock for a while because it runs fast, but slowing it down to make it run too slow, and then skipping a leap second. Ok, I see the difference. The issue here is not preserving monotonicity but keeping the semantics of the "wall clock".