MAYBE
40.33/10.48	MAYBE
40.33/10.48	
40.33/10.48	Problem:
40.33/10.48	 a(x1) -> x1
40.33/10.48	 a(x1) -> b(x1)
40.33/10.48	 b(a(c(x1))) -> c(c(a(a(x1))))
40.33/10.48	 c(x1) -> b(x1)
40.33/10.48	
40.33/10.48	Proof:
40.33/10.48	 Open
40.33/10.49	EOF