These two extensions together greatly extend the proof system's power, enabling it to recognize all languages in NEXPTIME.
Ова два проширења заједно, значајно проширују снагу система доказивања и омогућава му да препозна све језике у NEXPTIME.