gotta say I'm puzzled about how the above sits with the identity feasibility relation, since \$$\text{M}(\textbf{1}_X)\$$ typically won't be the identity matrix...