Without a proof that the hierarchy theorem's machine-specific separations lift uniformly to relativi...