MAYBE
33.77/10.36	MAYBE
33.77/10.36	
33.77/10.36	Problem:
33.77/10.36	 a(x1) -> x1
33.77/10.36	 a(x1) -> b(x1)
33.77/10.36	 b(b(c(x1))) -> c(c(a(a(a(x1)))))
33.77/10.36	 c(x1) -> x1
33.77/10.36	
33.77/10.36	Proof:
33.77/10.36	 Open
33.77/10.37	EOF