Require MinMJ_L.
Require MinMJ_M.
Require MinMJ_N.