¹Note that this can happen even when T_Σ∕E,k is an infinite set: there is no requirement that T_Σ∕E,k is finite.