MAYBE
0.08/0.19	MAYBE
0.08/0.19	
0.08/0.19	Problem:
0.08/0.19	 O(0()) -> 0()
0.08/0.19	 +(0(),x) -> x
0.08/0.19	 +(x,0()) -> x
0.08/0.19	 +(O(x),O(y)) -> O(+(x,y))
0.08/0.19	 +(O(x),I(y)) -> I(+(x,y))
0.08/0.19	 +(I(x),O(y)) -> I(+(x,y))
0.08/0.19	 +(I(x),I(y)) -> O(+(+(x,y),I(0())))
0.08/0.19	 *(0(),x) -> 0()
0.08/0.19	 *(x,0()) -> 0()
0.08/0.19	 *(O(x),y) -> O(*(x,y))
0.08/0.19	 *(I(x),y) -> +(O(*(x,y)),y)
0.08/0.19	 -(x,0()) -> x
0.08/0.19	 -(0(),x) -> 0()
0.08/0.19	 -(O(x),O(y)) -> O(-(x,y))
0.08/0.19	 -(O(x),I(y)) -> I(-(-(x,y),I(1())))
0.08/0.19	 -(I(x),O(y)) -> I(-(x,y))
0.08/0.19	 -(I(x),I(y)) -> O(-(x,y))
0.08/0.19	
0.08/0.19	Proof:
0.08/0.19	 Open
0.08/0.19	EOF