MAYBE
26.61/10.18	MAYBE
26.61/10.18	
26.61/10.18	Problem:
26.61/10.18	 .(1(),x) -> x
26.61/10.18	 .(x,1()) -> x
26.61/10.18	 .(i(x),x) -> 1()
26.61/10.18	 .(x,i(x)) -> 1()
26.61/10.18	 i(1()) -> 1()
26.61/10.18	 i(i(x)) -> x
26.61/10.18	 .(i(y),.(y,z)) -> z
26.61/10.18	 .(y,.(i(y),z)) -> z
26.61/10.18	 .(.(x,y),z) -> .(x,.(y,z))
26.61/10.18	 i(.(x,y)) -> .(i(y),i(x))
26.61/10.18	
26.61/10.18	Proof:
26.61/10.18	 Open
26.61/10.18	EOF