After the car came back from el taller, the dashboard clock was wrong, so she decided to put it right. It read 1314 and it was just past nine in the evening, so she took out a pencil and prodded the appropriate button until it read 2114 instead. It was a painful process, though, one jab at a time: and I wasn't looking forward to her having to go almost all around the clock to get the minutes right. I had a brainwave. "It's OK", I began to say. "If you wait a few minutes it'll have caught up with the clock by then."