MAYBE
68.24/30.21	MAYBE
68.24/30.21	
68.24/30.21	Problem:
68.24/30.21	 a(b(a(a(a(b(x1)))))) -> c(c(a(x1)))
68.24/30.21	 c(x1) -> b(a(a(a(b(x1)))))
68.24/30.21	
68.24/30.21	Proof:
68.24/30.21	 Open
68.24/30.21	EOF