 That is, \(\Sigma_i^{n+1}\) comprises the consequences from \(\Sigma_i^n\) together with the information that permeates into chunk \(i\) from the other chunk at level \(n\). We then collect up all finite stages: