Another high-level issue
Specification languages that are “closer” to the user decrease the change of building the wrong system
- But increase the chance of building the system wrong
And specification languages that are “closer” to the program do the opposite