197.54/50.14	MAYBE
197.54/50.14	
197.54/50.14	Problem:
197.54/50.14	 a(x1) -> x1
197.54/50.14	 a(x1) -> b(x1)
197.54/50.14	 a(b(c(x1))) -> c(b(a(c(a(x1)))))
197.54/50.14	 c(x1) -> x1
197.54/50.14	
197.54/50.14	Proof:
197.54/50.14	 Open
197.54/50.14	EOF