Was Satan really called Lucifer in the premortal world? If so, wouldn’t it be ...