[CSS3] 6.6.7. The negation pseudo-class

6.6.7. "The negation pseudo-class" section in 
http://www.w3.org/TR/css3-selectors/#empty-pseudo

<quote>
Examples:
The following CSS selector matches all button elements in
an HTML document that are not disabled.

  button:not([DISABLED])
</quote>

I think the phrase above needs to be reworded to something like:

The following CSS selector matches all button elements in
an HTML document that have no attribute 'disabled' defined.

Reason: 'disabled' is an initial setting of disabled state of the button and
may not reflect its actual runtime state.

Andrew Fedoniouk.
http://terrainformatica.com