Maybe it's difficult for the average developer to write a formal specification, but the point of the article is that an AI can do it for them.