MAYBE
35.54/10.36	MAYBE
35.54/10.36	
35.54/10.36	Problem:
35.54/10.36	 a(x1) -> x1
35.54/10.36	 a(a(x1)) -> b(a(c(b(x1))))
35.54/10.36	 b(x1) -> c(x1)
35.54/10.36	 b(c(x1)) -> a(x1)
35.54/10.36	
35.54/10.36	Proof:
35.54/10.36	 Open
35.54/10.36	EOF