Én inkább ott fognám meg, hogy mi van, ha a helyességfeltevésben van a hiba. Tehát a komponensünk megfelel annak, ami feltételt írtunk, de tényleg jól írtuk-e le?