Is Lucifer Satan’s name? What does Lucifer mean? Where do the words Devil and Satan come from?