Є два способи писати безпомилкові комп’ютерні програми. І лише третій — правильний.