How much of the leap second plan was luck