Start to explain the AC3 algorithm and other fixes