MAYBE
134.30/55.30	MAYBE
134.30/55.30	
134.30/55.30	Problem:
134.30/55.30	 a(x1) -> b(x1)
134.30/55.30	 a(b(x1)) -> x1
134.30/55.30	 c(c(a(x1))) -> a(c(a(c(c(x1)))))
134.30/55.30	
134.30/55.30	Proof:
134.30/55.30	 Open
134.30/55.31	EOF