MAYBE
42.74/12.03	MAYBE
42.74/12.03	
42.74/12.03	Problem:
42.74/12.03	 a(a(x1)) -> x1
42.74/12.03	 b(b(x1)) -> c(c(c(c(x1))))
42.74/12.03	 c(c(x1)) -> a(c(b(x1)))
42.74/12.03	
42.74/12.03	Proof:
42.74/12.03	 Open
42.74/12.03	EOF