Bevis för riktigheten, en beteckning som anger att ett program utdata påståenden följer logiskt från dess indata påståenden och behandling steg.