MAYBE
56.18/20.90	MAYBE
56.18/20.90	
56.18/20.90	Problem:
56.18/20.90	 a(x1) -> x1
56.18/20.90	 a(b(x1)) -> c(a(a(x1)))
56.18/20.90	 c(c(x1)) -> b(c(b(a(x1))))
56.18/20.90	
56.18/20.90	Proof:
56.18/20.90	 Open
56.35/20.90	EOF