Isn’t that the whole point of this approach? Everything is specified just in terms of how the end user will actually use the software, at a high level. Then the LLMs basically iterate relentlessly until the software matches what the end user wants to do.