MAYBE
41.77/11.22	MAYBE
41.77/11.22	
41.77/11.22	Problem:
41.77/11.22	 a(x1) -> x1
41.77/11.22	 a(a(b(x1))) -> c(a(a(a(x1))))
41.77/11.22	 c(a(x1)) -> b(b(x1))
41.77/11.22	
41.77/11.22	Proof:
41.77/11.22	 Open
41.77/11.23	EOF