What's the big deal? 
Monday, April 11, 2011
4:42 PM
If you declare an IDREF, then it must refer to a unique object. 
(with a matching id). 
If it doesn't, the document fails to match the schema. 
Key idea: your program on the document depends upon certain assumptions about the document, and should not be run if the document doesn't comply. 