在数学中,真理不是通过共识而是通过证明来发现的。
Every program has (at least) two purposes: the one for which it was written, and another for which it wasn't.