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><div>Shriram</div>