The only way to do great work is to love what you do.
未来属于那些敢于梦想并有勇气追求梦想的人。
Friendship is the most precious wealth of life.
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
法律规则不是自我执行的;它们需要人的代理才能生效。
法律不过是由关心社区的人为了共同的利益所制定的理性规定。
爱中没有正义,没有比例,也不需要,因为在任何特定的情况下,它只是一个拥抱的、难以理解的现实的一瞥或寓言。
Icame,Isaw,Iconquered.