La adición de este operador hace distinguible el PSPACE del PH.