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