> "A good way of seeing how a subject works is to examine the proof of a major result and see what previous results were used in it. Then trace these results ba

> "A good way of seeing how a subject works is to examine the proof of a major result and see what previous results were used in it. Then trace these results back to earlier results used to prove them. Eventually you will work your way back to definitions" I find the parallels between proofs and programs to be fascinating. We could write an analogous thing for programming: "A good way of seeing how a sort of program works is to examine one of the popular programs/libraries and see what functions were used in it. Then look inside of those functions and see what functions are used inside of those. Eventually you will work your way back to the lower level primitives."