The greatest theorems often arise from questioning the obvious.
最好的设计是那些随着时间而改进的设计。