Marked_.
1
i
Marked_i
.
z
y
x
.(1,x)
x
.(x,1)
x
.(i(x),x)
1
.(x,i(x))
1
i(1)
1
i(i(x))
x
.(i(y),.(y,z))
z
.(y,.(i(y),z))
z
.(1,x)
x
.(x,1)
x
.(i(x),x)
1
.(x,i(x))
1
i(1)
1
i(i(x))
x
.(i(y),.(y,z))
z
.(y,.(i(y),z))
z