Comment by stickfigure

The only complete and precise specification of software is the code itself. If some other form of specification was complete, we would be able to auto-generate the code.