MAYBE
49.37/16.60	MAYBE
49.37/16.60	
49.37/16.60	Problem:
49.37/16.60	 a(b(x1)) -> x1
49.37/16.60	 a(c(x1)) -> c(c(x1))
49.37/16.60	 b(c(x1)) -> a(a(b(b(x1))))
49.37/16.60	
49.37/16.60	Proof:
49.37/16.60	 Open
49.37/16.61	EOF