我是身体”的想法是无知的。
A poem begins in delight and ends in wisdom.
Fear of things invisible is the natural seed of that which every one in himself calleth religion.
伟大的事情从来不会来自舒适区。
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
The hardest part of design is keeping features out.