Yes, if by "that Lucifer" you mean the one from this world's Christian Bible. I mean, for all I know someday someone will come here from reality where "Lucifer" is a common name with no negative connotations or something.
You're new around here right? Do you know what Lucifer looks like and everything? In case he does show up? He actually posts on these comms sometimes.