And then XHTML has the third level of correctness, which is additional checking for things that can't be expressed in the DTD (which is what the validator checks). (Such as the cite attribute for blockquote containing a URL, and that URL pointing to the resource the quote is from).