“…Consequently, for any 0 ≤ θ < 1, such that e 2πiθ ∈ Sp(T ), there exists a clopen set whose measure is θ with respect to all invariant probability measures on X. Equivalently, Sp (T ) ⊆ τ ∈S(K 0 (X, T ), [1 X ]) τ (K 0 (X, T )), where S(K 0 (X, T ), [1 X ]) denotes the set of normalized traces (states) on K 0 (X, T ). This result has been recently stated in [4,Theorem 1. ] as well.…”