[warkdarrior]

My guess is that the formal spec for a basic TODO list app is the same size as the source code of the app itself.

[antonvs]

I would not be even slightly surprised if it were larger.