correct_5.mj is correct