Wel, eigenlijk is vooral de laatste zin op slide 280 belangrijk: "The order of these additions is irrelevant." Eerst wordt er uitgelegd hoé zo'n query nu eigenlijk werkt, namelijk: alle mogelijke waarden van een variabele worden beschouwd, waarna er wordt gekeken naar de non-negated database predicates die dus een beperking leggen op welke waarden toegelaten zijn.
En die laatste zin zorgt ervoor dat er problemen met negation optreden, immers, als je een tupel maakt dat er in mag, en je daarna een tweede tupel maakt dat er niet in mag omdat het eerste er al in zit, ben je afhankelijk van de volgorde. Je had immers perfect in de andere volgorde mogen toevoegen en dan hadden er wel twee tupels aanwezig geweest.
That's about it hoop ik

.