Надежность доказательств очень важна по той простой причине, что многие программы не работают, а отличить неработающие программы от работающих трудно.