Fie o populatie de extraterestri. Fiecare extraterestru x e ruda cu un alt extraterestru y, unic,  printr-o Relatie de Rudenie Extraterestra din a N-a dimensiune:
x == R(y)
Ceea ce e ciudat la extraterestri e ca, daca x e ruda cu y, nu inseamna ca y e ruda cu x.
y =/= R(x)
Regele extraterestrilor -- pe numele lui de botez Bau! -- nu e ruda cu nimeni, dar primul ministru e ruda cu el.
Extraterestrii au o democratie foarte ciudata:
0. Fiecare poate vota in mai multe circumscriptii electorale.
1. Circumscriptiile electorale sunt formate doar din 2 persoane.
2. In circumscriptiile electorale se voteaza in ordine: exista un prim alegator -- sa-i spunem x, din nou, si un al doilea alegator -- y. Circumscriptia electorala in care y voteaza primul si x al doilea e o cu totul alta circumscriptie.
2. Daca primul care voteaza intr-o circumscriptie electorala este x, iar cel de-al doilea este ruda lui y, atunci vor vota cu ruda celui votat de x si apoi de y in circumscriptia electorala corespunzatoare:
x&R(y) == R(x&y);  (V)x,y.
Regele voteaza impreuna cu fiecare, si ii voteaza pe fiecare:
x&Bau! == x;  (V)x.
Sa se arate ca x, si ruda lui y (in ordine) voteaza exact la fel ca ruda lui x,  si y (in ordine):
x&R(y) == R(x)&y