Reeder's MIM as a Special Case of Confluence Theory