rationality: added reasoning for m_ij <0.