Now, to make a mistake is easy and natural to man. But that is not enough. The next thing is to correct it: When a mistake has once been started, it is not necessary to go on repeating it for ever and ever with cumulative inconvenience. — Oliver Heaviside (1893)