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.
As long as man continues to be the ruthless destroyer of lower living beings， he will never know health or peace. For as long as men massacre animals， they will kill each other.
