MAYBE
43.22/12.42	MAYBE
43.22/12.42	
43.22/12.42	Problem:
43.22/12.42	 f(s(x1)) -> s(s(f(p(s(x1)))))
43.22/12.42	 f(0(x1)) -> 0(x1)
43.22/12.42	 p(s(x1)) -> x1
43.22/12.42	
43.22/12.42	Proof:
43.22/12.42	 Open
43.22/12.43	EOF