I love this! To me, nearly every good programming practice either boils down to or is dependent upon eventually picking a nice spec and separating out the imple

I love this! To me, nearly every good programming practice either boils down to or is dependent upon eventually picking a nice spec and separating out the implementation. It's not to say that that should be the first step: the first step is often a prototype and learning phase where you discover what a good spec would even look like, but instead that a medium-term goal of any good project should be to spit out one or many formalizations of what to expect this library to be/do.