Robust simulations and significant separations

اثبات نتایج ما نیازمند چند ایده جدید است، از جمله یک اثبات کاملا متفاوت از قضیه سلسله مراتبی برای زمان چند جمله ای غیر جبرانی نسبت به آنچه قبلا شناخته شده است.