It is a sad fate for a man to die too well known to everybody else and still unknown to himself.
If you spend too much time thinking about a thing, you’ll never get it done.
The aim of proof is to understand, not just to verify.