question: $x. M(x) ^ ~S(x)