MAYBE
37.24/10.29	MAYBE
37.24/10.29	
37.24/10.29	Problem:
37.24/10.29	 f(s(x)) -> s(s(f(p(s(x)))))
37.24/10.29	 f(0()) -> 0()
37.24/10.29	 p(s(x)) -> x
37.24/10.29	
37.24/10.29	Proof:
37.24/10.29	 Open
37.24/10.29	EOF