Comment on Do you know any real-life person with the first name “Lucifer”?