884.07/299.38	MAYBE
884.07/299.38	
884.07/299.38	Problem:
884.07/299.38	 strict:
884.07/299.38	  a(a(b(x1))) -> b(a(x1))
884.07/299.38	  c(b(x1)) -> b(a(b(x1)))
884.07/299.38	 weak:
884.07/299.38	  a(x1) -> a(c(a(x1)))
884.07/299.38	
884.07/299.38	Proof:
884.07/299.38	 Open
884.07/299.39	EOF