This is the best comment I've ever seen describing the actual practice of mathematics.