I think this is the key insight. It is easier to find an abstraction if we lay out what the program is doing all in long functions, that just "do what they do"

I think this is the key insight. It is easier to find an abstraction if we lay out what the program is doing all in long functions, that just "do what they do" until you figure out what needs to be abstracted.