Footnote 30: Importantly, \(P_{N+(a^{\prime}-1)D+i}\) depends on \(\mathcal{N}\); however, since Lemma F.1 permits \(P_{i}\) to depend on \(Q_{1},\ldots,Q_{i-1}\), and since \(\mathcal{N}\) is uniquely determined by \(Q_{1},\ldots,Q_{N}\), this is acceptable.