În viziunea sa, o schemă cu papagali este definită astfel:
Papagalii se aşează într-un şir. Apoi, fiecare papagal îşi alege o pereche din aceeaşi specie cu el. Fiecare papagal va aparţine exact unei perechi.
Kokalaru47 consideră că două scheme sunt diferite dacă şi numai dacă cel puţin una dintre următoarele condiţii este îndeplinită:

 
# Există o poziţie $x$ astfel încât papagalul de pe poziţia $x$ din prima schemă aparţine altei specii decât papagalul de pe poziţia $x$ din a doua schemă.
# Există două poziţii $x$ si $y$ astfel încât papagalii de pe poziţiile $x$ si $y$ sunt într-o pereche în prima schemă, dar nu sunt într-o pereche în a doua schemă.

1) Există o poziţie $x$ astfel încât papagalul de pe poziţia $x$ din prima schemă aparţine altei specii decât papagalul de pe poziţia $x$ din a doua schemă.
2) Există două poziţii $x$ si $y$ astfel încât papagalii de pe poziţiile $x$ si $y$ sunt într-o pereche în prima schemă, dar nu sunt într-o pereche în a doua schemă.

h2. Cerinţă