> It worked, but remains to this day an unmaintainable mess. The question is: is it a worse mess than if you'd have started without the spec? My intuition says

> It worked, but remains to this day an unmaintainable mess. The question is: is it a worse mess than if you'd have started without the spec? My intuition says "no", and the experience the users gained regarding formal thinking is a huge net benefit that will be an asset for years to come.