> z-y
	Add(u,y,z), S(u,x) --> S(z,w), Add(x,y,w)
</pre>

<p>An interaction net to compute the result of 1 + 1 with the rules defined above, is shown below, where one active pair has been generated. We then show two reductions, which use the previous two rules. The final net, on the right-hand side, is of course the representation of 2, which is the expected answer.</p>

<img src='../media/refs/in_add_res.png' width='550'/>

<h3>Programming</h3>

<p>From now on, we will use <a href='https://github.com/inpla/