<mif> is done