Yes, you&#39;re right; thanks for the clarification.  I&#39;ll assume the answer to my macro-literals question is yes.<br><br><div class="gmail_quote">On Sat, Oct 9, 2010 at 3:47 PM, Shriram Krishnamurthi <span dir="ltr">&lt;<a href="mailto:sk@cs.brown.edu">sk@cs.brown.edu</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">After two steps, do you not get something that looks like this?<div><br></div><div><img src="cid:ii_12b92867e22e0ec4" alt="mtc.png" title="mtc.png"></div>
<div><br></div><div>The two mtc&#39;s are in different colors.</div>

<div><br></div><div>That is because each came from a different sweep of transformation, so they have different marks (colors).  That&#39;s precisely the hygiene algorithm at work: names introduced together are colored together, names introduced separately are colored separately.</div>


<div><br></div><font color="#888888"><div>Shriram</div>
</font></blockquote></div><br>