" 

 : Kyllä, kiitos, ettet lisännyt sitä heti artikkeliin. Joitakin suuria ongelmia: 
 :* Algoritmia on hyvin vaikea ymmärtää SQL:n kannalta. 
 :* Jokainen ""teoreema"" on triviaali, ja tunnettu, esimerkiksi teoreema 1 seuraa resoluutiotodistusjärjestelmän määritelmästä, on parempi vain lisätä linkkejä papereihin/kirjoihin, joissa se on todistettu. 
 :* Pelkäänpä, että algoritmi käyttää eksponentiaalisen paljon muistia prime-pohjaiseen koodaukseen (se on juuri se kohta, jota en ymmärrä).  "