We have "No language spec" and "The implementation is the spec". Sooo, languages with a spec are strictly superior?