s&nbsp;always&nbsp;true&nbsp;for&nbsp;these&nbsp;combinators.</TT
	    ></FONT
	  ><BR
	  ><TT
	  >&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT
	  ><FONT COLOR = "teal"
	  ><TT
	    >--&nbsp;I&nbsp;should&nbsp;assert&nbsp;this!</TT
	    ></FONT
	  ><BR
	  ><TT
	  >&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT
	  ><FONT COLOR = "teal"
	  ><TT
	    >--&nbsp;I&nbsp;should&nbsp;even&nbsp;prove&nbsp;this.</TT
	    ></FONT
	  ><BR
	  ><TT
	  >&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TT
	  ><TT
	  ><I
	  