m_k follows