mif ▷◁