Két ekvivalens modell között egyetlen szempont alapján van értelme különbséget tenni: hogy melyik a kényelemesebb. Erre endi is rájön, ha megpróbál megoldani egy szerkesztési feladatot nullákkal meg egyesekkel.