бил (гл.) - невалиден (прид.)

Ако дистинкцијата на Хејс беше одржлива (јас очигледно се обидувам да покажам дека не е), тоа би значело дека (1) Тјуринговиот тест бил невалиден, бидејќи програмата што поминала наТТ можела да биде имплементира на „погрешен” начин, и дури дека (2) Тјуринговата еквиваленција не била доволно еквивалентна, и покрај пресликувањето еден-еден, состојба во состојба симбол во симбол, правило во правило, помеѓу „реалното” имплементирање и псевдо-имплементирањето бидејќи некои од овие пресликувања биле на некој начин „погрешни”.
„МАРГИНА бр. 3“ (1994)