Rigor in proof is what separates mathematics from all other sciences.
最好的用户体验是无感体验。
作家最伟大的工具不是笔,而是通过他人的眼睛看世界的能力。