Since Jehovah has named each of the stars, it is reasonable to assume that all of his angelic sons, including the one who became Satan, also have personal names.
(‏ مز ١٤٧ :‏ ٤‏ )‏ لِذَا مِنَ ٱلْمَنْطِقِيِّ ٱلِٱسْتِنْتَاجُ أَنَّهُ سَمَّى أَيْضًا كُلَّ ٱلْمَلَائِكَةِ ،‏ بِمَنْ فِيهِمِ ٱلَّذِي أَصْبَحَ ٱلشَّيْطَانَ .‏