ანალიტიკოსმა სანქციათა სიების გაურკვეველი შემოწმების მოთხოვნები რა ფორმით წარადგინა: იყო თუ არა მზად სპეციფიკაცია, ვინ შეარჩია ალგორითმი და შედარების ზღვარი?