Mathematics is not a deductive science—that's a cliché. When you try to prove a theorem, you don't just list the hypotheses and then start to reason. What you do is trial and error, experimentation, guesswork.

学习新编程语言的最好方法是用它编写程序。

The line between good and evil is permeable and anyone can cross it when pushed by circumstances.