anslate nohighlight">\(p\)</span> again is <code class="docutils literal notranslate"><span class="pre">copy_1_3_2</span> <span class="pre">+</span> <span class="pre">write</span> <span class="pre">+</span> <span class="pre">move_3_1</span></code>:</p></li>
</ol>
<div class="math notranslate nohighlight">
\[
[\![ [\![ p]\!](x)]\!](y) = \underline{\qquad\qquad\qquad}
\]</div>
</div>
</div>
</div>

    <script type="text/x-thebe-config">
    {
        requestKernel: true,
        binderOptions: {
            