On encoding pPi in mPi