The less you respond to negative people, the more peaceful your life becomes.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."