Included new predicate to cleanly work with html_open