Defaulted values and identity_constraint checking

Just want to confirm: my reading of [1] is that defaulted attribute and
element values do not participate in identity_constraint checking.  As far
as I can tell, identity constraint checking operates on the unaugmented
infoset, right?

[1]
http://www.w3.org/TR/xmlschema-1/#Identity-constraint_Definition_details

------------------------------------------------------------------------
Noah Mendelsohn                                    Voice: 1-617-693-4036
Lotus Development Corp.                            Fax: 1-617-693-8676
One Rogers Street
Cambridge, MA 02142
------------------------------------------------------------------------

Received on Tuesday, 19 December 2000 23:17:23 UTC