Footnote
a The Bible reveals the personal names of some angels. (Judges 13:18; Daniel 8:16; Luke 1:19; Revelation 12:7) It also says that Jehovah gave a name to each star. (Psalm 147:4) So it makes sense to think that Jehovah also gave names to all the angels, including the one who later became Satan.