196.36/50.18	MAYBE
196.36/50.18	
196.36/50.18	Problem:
196.36/50.18	 a(x1) -> x1
196.36/50.18	 a(b(x1)) -> c(a(x1))
196.36/50.18	 c(c(x1)) -> b(b(c(b(a(x1)))))
196.36/50.18	
196.36/50.18	Proof:
196.36/50.18	 Open
196.36/50.18	EOF