The only thing standing between you and your goal is the story you keep telling yourself as to why you can’t achieve it.

"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

人は誰でも、自分だけの物語を持っている。それがどんなに小さな物語でも、大切なものだ。

We are not born for ourselves alone.

蛮荒之地的烟瘴一扫而空，众魔降服，凭借您的说法树立起法幢。

过去是一个异国，他们在那里做事的方式不同。