Before revision: This is a consequence of m and mm '' ' necessarily being different values.
After revision: This is a consequence of m and mm ' necessarily being different values.