Bezsporne jest, że Konstytucja RP (art. 194) ustala, iż TK składa się z 15 sędziów. Prezydent Andrzej Duda i Andrzej Rzepliński, prezes TK, zgadzają się z tym.
Wszelako wedle Andrzeja Dudy sędziów faktycznie jest 15, natomiast wedle Andrzeja Rzeplińskiego – tylko 13 (pomijam pogląd, że sędziów jest tylko 11). Bezsporne jest również, iż obaj stosują ten sam system rachunkowy.
Nie stosuje się do nich taka oto anegdota. Matematyk i polonista wybrali się na polowanie i ustrzelili pewną liczbę zwierząt. Ofiary zostały ułożone obok siebie i zaczął się proces liczenia trofeów. „Policz, bo jako matematyk jesteś bardziej kompetentny” – powiada polonista. I matematyk błyskawicznie liczy i mówi: 9. Polonista postanowił sprawdzić i wskazując palcem ustrzelone zwierzęta, oznajmia: 10. Matematyk jeszcze raz rachuje i znowu mu wychodzi 9. Polonista pyta: „Jak liczysz?”. Matematyk wyjaśnia: 0, 1, 2, 3, 4, 5, 6, 7, 8, 9.
Ponieważ zakładam, że uczestnicy sporu liczą, poczynając od 1, powstaje pytanie, dlaczego mamy dwa różne wyniki w obliczeniu faktycznej liczby sędziów TK, chociaż poszczególni rachmistrze stosują tę samą metodę liczenia.
Przypominam historię sporu. W czerwcu 2015 r. uchwalono nową ustawę o TK. Na jej podstawie Sejm VII kadencji wybrał 5 nowych sędziów w związku z tym, że od października do grudnia tyluż sędziów kończyło swe urzędowanie, przy czym trzech opuszczało TK przed pierwszym posiedzeniem Sejmu VIII kadencji, a dwóch – po tym terminie.
Ustawa z czerwca została zaskarżona do TK przez grupę posłów z PiS, ale potem wniosek został wycofany. Prezydent RP nie zaprosił sędziów wybranych w październiku, czyli przez Sejm VII kadencji, do złożenia ślubowania.