In darkness, we can truly see ourselves.
True progress in farming means leaving the land better than we found it.
艺术不是关于答案，而是关于问题。
Your biggest competior is yourself.
Politics is the art of the possible, theatre is the art of the impossible.
形式化方法的美在于它们能够提供关于系统行为的绝对保证。