MAYBE
78.59/33.47	MAYBE
78.59/33.47	
78.59/33.47	Problem:
78.59/33.47	 f(x) -> s(x)
78.59/33.47	 f(s(s(x))) -> s(f(f(x)))
78.59/33.47	
78.59/33.47	Proof:
78.59/33.47	 Open
78.59/33.47	EOF