重构复活法

设$R$为一个可迭代弱粗预鼠模型（weak coarse premouse），设$N$为由$R$的完全背景化$L[\mathbb{E}]$-构造所产生的具有Mitchell-Steel索引的预鼠模型。我们识别并修正了在$N$的可迭代性证明中所使用的复活（resurrection）过程的一个问题。