Sebagai bukti kebenaran, sebutan menunjukkan bahwa program output pernyataan mengikuti secara logis dari pernyataan-pernyataan input dan tahap pengolahan, dan bahwa, Selain itu, program berakhir di bawah semua ditentukan kondisi masukan.