This law seems to depend on the mailing list and the age/status of the language. I wonder how it went during the "Successor ML" conversations a while back?
Today, though, it seems as if almost every language conversation we have about Standard ML is a small set of implementers talking about whether, say, rule 64 is inconsistent in its handling of _where type_s and redundant tycons.
