A different fix for variable shadowing in Lemma 11.2.2.