hlight">\(y\)</span>.  Which do we get: <span class="math notranslate nohighlight">\(x + y\)</span> or <span class="math notranslate nohighlight">\(y + x\)</span>?  That is, which is true?</p></li>
</ol>
<div class="math notranslate nohighlight">
\[
[\![[\![\writeprog]\!](x)]\!](y) = x + y \quad \mbox{ or } \quad [\![[\![\writeprog]\!](x)]\!](y) = y + x
\]</div>
<ol class="arabic simple" start="2">
<li><p>Now let <span class="math notranslate nohighlight">\(p\)</span> be the program <code class="docutils li