A, M Turning[[Turing MakinasıMakinesi]] tarafından <math>n^k</math> polinomsal yerde tanımlanan bir dil olsun. Şimdi A'dan TQBF e polinomsal[[Polinomsal zaman]] indirgemeye çalışacağız. Bu indirgeme için bir 'w' kelimesi kullanılsın. Söyle ki; ''Q'' ancak, M makinası 'w' yi kabul ettiğinde doğru olsun.