Thinking doesn’t guarantee that you will won’t make mistake, but not thinking generally guarantees that you will. Leslie Lamport
talk, slides