251.31/50.07	MAYBE
251.31/50.07	
251.31/50.07	Problem:
251.31/50.07	 a(x1) -> x1
251.31/50.07	 a(b(x1)) -> b(c(x1))
251.31/50.07	 c(c(x1)) -> b(a(c(a(a(x1)))))
251.31/50.07	
251.31/50.07	Proof:
251.31/50.07	 Open
251.31/50.08	EOF