
“Thinking doesn't guarantee that we won't make mistakes. But not thinking guarantees that we will.”
In [Lamport, Leslie, Why We Should Build Software Like We Build Houses, https://www.wired.com/2013/01/code-bugs-programming-why-we-need-specs/, Wired Magazine, 17 January 2020, January 25, 2013]