8.1.3 bullet 1 - implied by second bullet

first bullet: this appears to be implied by the second bullet
sincethe minimal formula would consist of a namespace prefix folloew by
an equality sign, ie. "gnum=