Adakah cara yang bisa dilakukan oleh seorang pepatah untuk meyakinkan verifier bahwa beberapa ekspresi HORN-SAT memuaskan?
Tentu saja ini mungkin tampak konyol, karena ada algoritma waktu linear untuk HORN-SAT. Di sisi lain, HORN-SAT adalah P-complete, yang berarti tidak memiliki algoritma ruang-log kecuali P = L. Dengan demikian, batasi kemampuan komputasi verifier menjadi L. Sekarang verifier sangat lemah, sehingga masalahnya tidak lagi konyol.
Pelintiran lain dalam hal ini adalah apakah itu bisa menjadi bukti tanpa pengetahuan.