I don't like the theory that a piece of software can't be complete. Not all software can be complete, but some simple tools (which most software should be made of) can and should be able to be finished forever, or at least asymptotically approach completeness to a degree that the distance becomes irrelevant.