Rigor in proof is what separates mathematics from all other sciences.
I couldn't remember the reason for living, and when I did it wasn't convincing.
每个程序都是其他程序的一部分,很少适合。