215.34/50.20	MAYBE
215.34/50.20	
215.34/50.20	Problem:
215.34/50.20	 a(x1) -> x1
215.34/50.20	 a(a(x1)) -> a(b(c(b(a(x1)))))
215.34/50.20	 b(c(x1)) -> c(a(x1))
215.34/50.20	
215.34/50.20	Proof:
215.34/50.20	 Open
215.34/50.21	EOF