程序进行再审核。