死者虽不可见,但他们并未缺席。
The dead are invisible, but they are not absent.
不要只是梦想远大,要行动远大。
The greatest theorems often arise from questioning the obvious.
It is easier to change the specification to fit the program than vice versa.