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.