Correct mi4 function