矛盾が出るわけではないなら
M(X)よりM^*(X)の方が主張として強いわけだから
よいのではないですか