Coders would move to formally defining requirements.
People are really bad at formally defining requirements.
It's a lot of fumbling around in the dark and discovering what has changed since the project was started. Formal definitions are frequently wrong and always incomplete. Our verbal and written languages simply do not allow otherwise. Our thinking patterns do not allow otherwise.
We do OK by taking a few steps at a time, then looking around.