SGML has TWO premises: the first to be declarative; the second to be rigorous. HTML from SGML can adhere to this. But #HTML5 is a rewrite.