A definition of the concept of "Intuitionist Modal Analogue" is presented and motivated through the existence of a theorem preserving translation from MIPC to a bimodal S₄-S₅ calculus.