Ed J. Pinegar and Richard J. Allen on Satan being "the" principal devil

  

Satan (meaning: adversary), who is Lucifer, the principal devil and primordial enemy to God, is mentioned in the Old Testament, . . . (Ed J. Pinegar and Richard J. Allen, Unlocking the Old Testament: A Side-By-Side Commentary [American Fork, Utah: Covenant Communications, Inc., 2009], 481, emphasis added)