If you're not failing occasionally, you're not pushing hard enough.
A proof tells us where to concentrate our doubts.
唯一真正的发现之旅不在于寻找新的风景,而在于拥有新的眼光。