Compilers aspire to be something like a total function. Define you inputs and outputs and you are "forced" into a correct implementation.

real software isn't like that. I interpret "small" to mean localized in idea space.