Every mental state exists for a purpose; to understand it, we must ask what function it serves in the broader system of behavior.
Quality is not a technique, it is a philosophy.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
You are not only responsible for what you say, but also for what you do not say.