Start to explain the AC3 algorithm and other fixes
Continue an example.
Cont'd.
End of AC3.
… with figures ;-).
End of labelling.
Add an example for the labelling.
Add a note about dot.