Rob Seaman asked "Are we all agreed that it is correct to say that the beginning of UTC is 1972-01-01T00:00:00Z with TAI-UTC 10s at that moment?" No, that's the beginning of making UTC track UT by inserting leap seconds. UTC existed before that, since around 1962, but the tracking mechanism was different. Gerard Ashton