invariant - MVP