言い換えれば、x∈∃pL{\displaystylex\in\exists^{p}L}は、⟨x,w⟩∈L{\displaystyle\langlex,w\rangle\inL}であるような短い証拠wが存在することと同値である。
换句话说，x∈∃pL{\displaystylex\in\exists^{p}L}当且仅当存在足够短的见证字符串w{\displaystylew}使得⟨x,w⟩∈L{\displaystyle\langlex,w\rangle\inL}。