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