couples into Σ C_k
expand all
loading from the machine…