My son brought up a question I hadn’t thought of before. He asked if the devils and his angels have their agency? It seems to me that we always think of Lucifier’s plan to take away our agency as what he wanted. He fought a war to try and get his way. He lost, but what about his agency?
Agency is an eternal principle and just because you oppose it doesn’t change it. Just because Lucifier made a bad choice doesn’t mean he lost, or even his followers lost their agency. It appears that Lucifier and his followers still use their agency all the time. They can choose who to tempt. They can choose how to tempt them. They can choose how long to tempt them (unless priesthood authority, or faith is involved). They can choose where to go in this world for their mission (or maybe Satan assigns them and then Satan uses his agency to decide that).
So what’s the point? Two things to me. First, the very thing Lucifier wanted to destroy he and his followers still use to make the rest of us miserable like himself. Which brings to mind the question of what if he had "won"? What real effects would it had on our own personal agency? Would he have been able to "force" us all to only make right choices? Can he do that now for all his followers? If he can, then why does he still have his agency and none of his followers have theirs?
Ok, and second, if Satan and his followers have their agency then can they make "good" or "better" choices? If so can they progressively get "better"? Where does that lead?
Just some thoughts.