(not necessarily asking you; more curious about how it's defined. Maybe I should study the spec.)