Pavel Gordeev және Zaur Gadjiev қолдарын мен-мынамаси, дұрыссылықты шешті

Pavel Gordeev және Zaur Gadjiev өздерінің айырмашылықтарын мен-мынамасы арқылы түзе алды, олардың дұрыссылықты аяқтады. Іс жүргілік бұрынғы дұрыссылықтың сипатына немесе мен-мынамасының жағдайына қатысты аз деректер ұсынады. Ұзақ жарияланым толықтырылмағы жақында болған болуы мүмкін, сол сияқты ACA іс жүргісінің немесе айналасының түрінде болуы мүмкін. Дұрыссылықты шешімділік нақты болып көрінді, іс жүргіліктің анықтаушы тілі негіздегі емес болуы мүмкін.