2 ms·

This reads like a corollary to Naur's "Programming as theory building" pages.cs.wisc.edu/~remzi/Naur.pdf