User:Nick Tortelli

$$ (\nu x)(0| \overline{z}\langle x \rangle . x(y). 0 ) | z(v). \overline{v}\langle v \rangle .0 \rightarrow (\nu x)(0| x(y). 0  | \overline{x}\langle x \rangle .0)  $$