215.08/50.16	MAYBE
215.08/50.16	
215.08/50.16	Problem:
215.08/50.16	 a(x1) -> x1
215.08/50.16	 a(a(b(x1))) -> c(a(x1))
215.08/50.16	 a(c(x1)) -> c(b(a(a(x1))))
215.08/50.16	
215.08/50.16	Proof:
215.08/50.16	 Open
215.08/50.16	EOF