Where Did We Get “Lucifer”?