Clarify the example encoding.
Explaing the Alldiff constraint
Ignore more stuff
New table reference command.