(should be M <= N but HN isn't letting me edit the comment at this point)