Then it would be rumored, but Lucifer isn't supposed to be known. It has been BURIED for thousands of years by their anscestors. It wouldn't be a thought to even the most suspicious of them.