Aber ist das nicht so mit jeder Verifikation eines jeden Satzes?