MAYBE
0.08/0.17	MAYBE
0.08/0.17	
0.08/0.17	Problem:
0.08/0.17	 f(0()) -> 1()
0.08/0.17	 f(s(x)) -> g(f(x))
0.08/0.17	 g(x) -> +(x,s(x))
0.08/0.17	 f(s(x)) -> +(f(x),s(f(x)))
0.08/0.17	
0.08/0.17	Proof:
0.08/0.17	 Open
0.08/0.18	EOF