MAYBE
39.11/10.59	MAYBE
39.11/10.60	
39.11/10.60	Problem:
39.11/10.60	 f(x1) -> n(c(c(x1)))
39.11/10.60	 c(f(x1)) -> f(c(c(x1)))
39.11/10.60	 c(c(x1)) -> c(x1)
39.11/10.60	 n(s(x1)) -> f(s(s(x1)))
39.11/10.60	 n(f(x1)) -> f(n(x1))
39.11/10.60	
39.11/10.60	Proof:
39.11/10.60	 Open
39.29/10.60	EOF