MAYBE
78.00/33.31	MAYBE
78.00/33.31	
78.00/33.31	Problem:
78.00/33.31	 f(x) -> s(x)
78.00/33.31	 f(s(s(x))) -> s(f(f(x)))
78.00/33.31	
78.00/33.31	Proof:
78.00/33.31	 Open
78.00/33.31	EOF