If the Seven Dwarfs Had Human Names: Why Not Michael, John, or Paul?

If the Seven Dwarfs Had Human Names: Why Not Michael, John, or Paul? When discus