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