有兩種體設計的方式: 一種是設計的很簡單讓它很明顯的沒有錯誤，另一種是設計的很複雜讓它沒有明顯的錯誤. 第一種相較之下更為困難. [C.A.R. Hoare]