Die Logik geht davon aus, dass der Irrtum fehlerfrei ist.