We are all searching for something, but we don't always know what it is.
The only way to avoid mistakes is to have no new ideas.
The only way to escape the system is to play with it, to turn its own logic against itself.
我不怕失败，最怕的是没试过。
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
