The aim of proof is to understand, not just to verify.

Structured Programming supports the law of the excluded middle.

I choose a lazy person to do a hard job. Because a lazy person will find an easy way to do it.

Let us unite our wills and form but one soul， one life， one being， in order that we may truly have common property.