Reliable computations are obtainable from buggy programs, which after all, are the only kind of programs there are.