The reality is: sometimes you lose. And you’re never too good to lose. You’re never too big to lose. You’re never too smart to lose. It happens.
The great tragedy of life is not that men perish, but that they cease to love.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."