MAYBE
0.07/0.17	MAYBE
0.07/0.19	
0.07/0.19	Problem:
0.07/0.19	 -(0(),y) -> 0()
0.07/0.19	 -(x,0()) -> x
0.07/0.19	 -(x,s(y)) -> if(greater(x,s(y)),s(-(x,p(s(y)))),0())
0.07/0.19	 p(0()) -> 0()
0.07/0.19	 p(s(x)) -> x
0.07/0.19	
0.07/0.19	Proof:
0.07/0.19	 Open
0.07/0.19	EOF