The trend is your friend until it ends.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
我不是谈话,我是歌曲。