@Lamb
Dave's point flows from his heresy of denying faith. This is not unknown among those of this horrible Anti-Calvin theory. As he perpetually states (one way or another), "If Jesus died for all then all would be saved." NOTE the elimination of faith, note the very careful exclusion of any role or function of faith. Yes, of course, if faith is a joke, if faith is meaningless and irrelevant, then yes all would be saved since Jesus died for all. But the problem is: We don't share his heresy of denying faith.
This might be helpful....
This is 18 minutes long and not particularly focused but helpful...
Blessings on your Advent and Christmas seasons...
.