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