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