自信源于内心，没有人能给你。
My ambition is always to get better, to keep improving.
A picture is a fact.
想要移山的人，先从搬走小石头开始。
Everything in the world exists to end up in a book.
Dans le doute, abstiens-toi.
The challenge in model checking is not just to find errors, but to understand why they occur.