Debugging MF