196.19/50.17	MAYBE
196.19/50.17	
196.19/50.17	Problem:
196.19/50.17	 a(x1) -> x1
196.19/50.17	 a(x1) -> b(c(x1))
196.19/50.17	 c(b(b(b(x1)))) -> b(a(b(a(x1))))
196.19/50.17	
196.19/50.17	Proof:
196.19/50.17	 Open
196.19/50.17	EOF