This ambiguity between endorsing one or two is why I kind of prefer the version of this law Fred Brooks cited:
>An ancient adage warns, "Never go to sea with two chronometers; take one or three." The same thing clearly applies to prose and formal definitions. If one has both, one must be the standard, and the other must be a derivative description, clearly labeled as such. Either can be the primary standard. Algol 68 has a formal definition as standard and a prose definition as descriptive. PL/I has the prose as standard and the formal description as derivative. System/360 also has prose as standard with a derived formal description.
In this context, the reader can be much more trusted to see that one chrono beats out two only by being cheaper (which might be worth it for short voyages), and one description beats out two only by being unambiguously the standard (which might be worth it for small or exploratory projects).