Warner Losh wrote: >contend that since the mapping / linearization isn't 1:1 onto, the >proof is not valid. The mechanism doesn't rely on the linearisation of UTC being reversible. That's not a problem. -zefram