This is a brilliant analysis by Herman Bavinck and I totally agree with that. I find it tremendously difficult to follow the line of supra, Lapsarian theology.

Its the God of compassion responding to the fall that he started to elect some humans to salvation in Christ and pass over others which is called reprobation. The logical sequence is what is making sense here. Eph 1:4-5 says even as he chose in him before the foundation of the world, that we should be holy and blameless before him. He in love he predestined us for adoption to serve his son through Jesus Christ, according to the purpose of his will. Bavinck explains that God’s council is a single, eternal, and indivisible act of his will, and creation, the fall, election, and redemption. Eph 1:4-5 highlights the election occur before the foundation of the world, this refers to the eternity of God’s decree, not as logical priority over the fall. In God’s timeless eternity, all aspects of the decree, creation, fall, election are also simultaneous, but theology distinguishes the logicality to understand their relationships.

Infra Lapsarian is about the logical, not temporal, order of God’s decrees

Bavinck argues that God’s election Eph 1:4-5 presupposes of fallen humanity in need of redemption. The phrase he chose us in him ( Christ) indicates the elections always in Christ, the media of redemption.

The goal of election that we should be holy and blameless and for adoption himself points to God redemptive purpose to a fallen state

Bavinck argues the election addresses human sinfulness, aiming to restore and adopt sinners into God’s family. This alliance with infra Lapsarian emphasizes on election as God’s mercy response to the fall, rather than a supra Lapsarian view: election seem to necessitate the fall to display God’s glory.

Addressing the tension

The apparent tension Eph 1:4-5, before the foundation of the world may seem to favor supra Lapsarian in that election precedes the fall. Bavinck resolved this by distinguishes logical and temporal order. The phrase does not imply the election logically proceeds the fall, but that all God’s decrees are eternal.

Infra Lapsarian orders the decrees logically ; God’s decree to create, permit the fall, and then elect some to election salvation in Eph 1:4-5 affirm that eternity of this plan, not its sequence.

Critique supra Lapsarian for potentially making the fall and necessary means to display God’s glory, which would imply God authored sin. Infra Lapsarian in his view, better preserved God’s justice, and mercy by seeing election as a response to the fall, not its cause.

I think this whole thing is brilliant. It really helped me– praise be to God.