MAYBE
35.17/10.32	MAYBE
35.17/10.32	
35.17/10.32	Problem:
35.17/10.32	 a(x1) -> x1
35.17/10.32	 a(b(x1)) -> c(b(a(x1)))
35.17/10.32	 b(x1) -> a(x1)
35.17/10.32	 c(c(x1)) -> b(x1)
35.17/10.32	
35.17/10.32	Proof:
35.17/10.32	 Open
35.17/10.33	EOF