mif file and stuff