Developers are making a lot of important decisions in detail that the product manager has little understanding of, and these often lie exactly in the disparity

Developers are making a lot of important decisions in detail that the product manager has little understanding of, and these often lie exactly in the disparity between natural and formal language. What the product manager writes isn’t a full specification of the system.