changes to expression, and checkMP