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