It's almost as if we have learned precisely nothing from the decades of literature and research on specification languages.

Nah, I kid. It is that exactly.