This is `types.Sigma.eta_sigma`, I believe.