Класс TISP[t(n),s(n)]. Теорема о том, что NTime[n] не содержится в TISP[n^{1.2}, n^{0.2}] и следствие из нее. Теорема Карпа-Липтона, теорема о существовании функции большой схемной сложности, теорема Каннана и следствие из нее. Вычисление с неравномерной подсказкой.