Program testing can be used to show the presence of bugs, but never to show their absence!
In the theatre, we are all connected by the shared experience of the performance.
为别人浪费的一天并不是为自己浪费的一天。
自守形式的研究证明了对称性在数学中的力量。
——兴中会