MAYBE
85.47/50.02	MAYBE
85.47/50.02	
85.47/50.02	Problem:
85.47/50.02	 a(x1) -> x1
85.47/50.02	 a(b(x1)) -> x1
85.47/50.02	 a(c(c(x1))) -> c(c(b(a(c(a(x1))))))
85.47/50.02	
85.47/50.02	Proof:
85.47/50.02	 Open
85.47/50.03	EOF