ng'>rule 2 figure</a>.</p>

<pre>
<b>Net:</b>
	Add(u,y,z), S(u,x)
</pre>

<table border='1'>
	<tr>
		<th>Rule 1</th>
		<th>Rule 2</th>
	</tr>
	<tr>
		<td><img src='../media/refs/in_add_rule1.png' width='350'/></td>
		<td><img src='../media/refs/in_add_rule2.png' width='350'/></td>
	</tr>
</table>

<p>In the following notation, an interaction rule consists of a pair of net descriptions separated by an arrow. Agents are capitalized, and free ports are lowercase.</p>

<pre>
<b>Rules:</b>
	Add(u,y,z), Z(u)   --