&lt;dfn><br>
defining instance of a term