However, if the original instance is not satisfiable, then all proof strings are invalid, each proof string has only a small number of checker runs that mistakenly accept it, and all cliques are small.
Cu toate acestea, în cazul în care originalul nu este satisfiabil, atunci toate șirurile de demonstrație sunt invalide, fiecare șir de demonstrație având doar un număr mic de rulări ale verificatorului care-l acceptă eronat, și toate clicile sunt mici.