Prod. [39] VC: Element Valid

In prod. [39] VC: Element Valid, paragraph 4, the condition that the types 
of the child elements of an element of type ANY must have been declared 
seems to be superfluous, because this condition is also verified when each 
child element itself is tested for VC: Element Valid.  Also note that the 
other three paragraphs do no contain an equivalent condition.

Dieter Köhler

Institute of Philosophy and
Centre for Multimedia Studies
University of Karlsruhe
Germany