"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
我们不是按照事物的本来面目看待它们，而是按照我们自己的样子看待它们。
"I always try to find a way to win, even when I'm not playing my best."
世界充满了故事，但这些故事其实是一个。
除非我觉得自己能成为最好的，否则我不会做任何事。
Every building should be a teacher. It should teach us about light, about air, about how to live together.