 <img src="http://www.cs.cornell.edu/Info/Projects/zeno/images/greyball.gif">  <a href="http://www.cs.cornell.edu/Info/Faculty/Brian_Smith.html">  Brian Smith</a>  <br>
