get_html(HTMLObject, InnerHTML) is true if and only if InnerHTML unifies with the HTML inside of HTMLObject.