The book runs to over four hundred pages in the modern reprint. Its full title is The Death of Death in the Death of Christ, and its young author, John Owen, was twenty-eight years old when he wrote it. The case Owen mounts in those four hundred pages is intricate, exegetical, and at times exhausting — the seventeenth century knew a kind of theological staying power that has not survived into our era. But buried in Book III, lit up like a piece of architecture inside a great hall, is a single argument so simple it can be stated in one paragraph and so devastating that no synergistic reply has ever managed to dismantle it.

The argument is now known as the Owen Trilemma. It runs like this. Christ, in His death on the cross, died for either (a) all the sins of all men, (b) all the sins of some men, or (c) some of the sins of all men. There are no other logical possibilities. If a person rejects the Reformed reading of the atonement, he must take refuge in (a) or in (c). And what Owen sets out to show, with grim clarity, is that both refuges collapse into positions no Christian church has ever been willing to occupy.

Walk the three branches. Note that the Greek of the New Testament is not allowed to enter until the trilemma's logical structure is set, because Owen's first move is to make the question impossible to answer without committing to one of the three.

Branch (a) — All the Sins of All Men

If Christ on the cross paid the legal penalty for every sin of every human being who has ever lived, then there is no remaining sin in the divine ledger that can serve as the ground of any human's condemnation. Every sin has been substitutionarily paid for. Every debt has been satisfied. The cross was an exhaustive transaction in which God Himself bore the wrath due to every individual human being for every offense they would ever commit. The wrath has been spent. The fire has been extinguished. There is nothing left.

This branch leads, by the most direct possible inference, to universalism — the doctrine that every human being is finally and necessarily saved. If God has been propitiated for every sin of every person, no person can be sent into eternal punishment without God demanding the same payment twice — once from Christ and again from the sinner. And God, being just, does not punish the same offense twice. The book has been balanced on Calvary; the books of every individual must therefore be balanced.

Universalism, however, is not a position Scripture allows. Jesus, in the Sermon on the Mount alone, names eternal punishment more times than any other speaker in the Bible. The book of Revelation closes with two destinies, not one. 2 Thessalonians 1:9 describes "everlasting destruction, shut out from the presence of the Lord and from the glory of his might." Apōleia in the Greek is not a metaphor that softens. The New Testament's eschatological vocabulary will not bend toward universalism, and every Arminian theologian of any rigor knows this. Branch (a), therefore, must be abandoned. Christ did not, in the actual transaction, pay for every sin of every person — or every person would be saved.

Branch (c) — Some of the Sins of All Men

If Christ paid for only some of every person's sins — say, the sins committed before they came to faith, leaving the post-conversion sins to their own ongoing repentance — then no human being on earth has had every sin substitutionarily paid for. Every person, including every Christian, has remaining unsubstituted sins on their ledger. Those remaining sins are themselves grounds for condemnation. And if there is even one unpaid sin in the ledger of any human being, that human being cannot stand before a perfectly just God on the day of judgment.

Branch (c) therefore collapses into the position that nobody is saved. Some sins of every person remain to condemn them. The cross was real but partial. The cross secured forgiveness for past sins only, and every human's future sins drive him under wrath again. The Reformer Martin Luther saw this branch arriving from the late medieval penitential system and named it as a recipe for despair: a man could never know, on his deathbed, whether he had repented sufficiently for every post-baptismal offense to escape the fires of purgatory or hell.

No serious Christian tradition has ever committed itself to branch (c). It is the worst of the three options. It makes salvation depend on the sinner's continued performance after the cross. It empties Romans 8:1 of its content: "There is therefore now no condemnation for those who are in Christ Jesus." If branch (c) is true, there is plenty of condemnation. The cross addressed only a portion of the problem. Branch (c) is so manifestly unscriptural that no one defends it; it survives only as a logical possibility the trilemma must enumerate to be complete.

Branch (b) — All the Sins of Some Men

The only remaining option is that Christ paid for all the sins of some men. He bore in His body the actual, particular sins of those whom the Father had given Him. The transaction was definite. The substitution was specific. The cross was not a generic offer but a targeted purchase. The Greek for this is antilytron (1 Timothy 2:6) — a "ransom-instead-of," a payment that secures the actual release of the actual prisoner. The Greek for this is lutron anti pollōn (Mark 10:45) — a ransom in the place of many. The cross was not the buying of a possibility. The cross was the buying of persons.

This is the doctrine the Reformed tradition has called definite atonement or particular redemption. It is the doctrine the Owen Trilemma forces upon any thinker who will neither flee into universalism nor flee into despair. It is the doctrine Owen mounts the four hundred pages of his book to defend, because it is the only doctrine the trilemma's structure permits.

Some readers, encountering the doctrine for the first time, react with the familiar revulsion: but does this mean Christ did not love everyone? The objection is honest, and we will return to it. The trilemma, however, is not yet complete. Owen has built the logical scaffold. The Greek and the syntax of the New Testament are about to come up the ladder.

The Greek Preposition That Closes the Cage

Look at every New Testament verse that names the persons for whom Christ died. The Greek preposition is, almost universally, ὑπέρ (hyper). Hyper with the genitive carries a strongly substitutionary force in classical and Hellenistic Greek. It means on behalf of, in the place of, instead of. It is the preposition used in legal documents for the surety who pays a debt in the place of another, and in funerary inscriptions for the soldier who died hyper his comrades in the line. The substitution is not generic; it is targeted. The substitute steps into a particular position to bear a particular weight on behalf of particular persons.

And what does the New Testament say Christ died hyper? Not "for the world" in any general humanitarian sense. The phrases stack:

"I am the good shepherd. The good shepherd lays down his life for the sheep (hyper tōn probatōn)."

JOHN 10:11

"Husbands, love your wives, just as Christ loved the church and gave himself up for her (hyper autēs)."

EPHESIANS 5:25

"He died for all (hyper pantōn), that those who live should no longer live for themselves but for him who died for them (hyper autōn) and was raised again."

2 CORINTHIANS 5:15

Sheep. The church. Those who, on receiving the benefit, no longer live for themselves but for Him. The recipients of Christ's hyper-death are, in the apostolic vocabulary, a defined group with a defined response. The death is not loosed indiscriminately into the air to be picked up by anyone who happens to want it. The death is laid down for the sheep — and Jesus has just said three verses earlier (John 10:14): "I know my sheep and my sheep know me." The sheep are not the universal mass of humanity. The sheep are the specific persons the Father has given the Son. The death and the knowing are aimed at the same recipients.

The trilemma, with the Greek preposition added, no longer leaves the Arminian objector even the rhetorical comfort of the universal-call passages. Hyper is too sharp. It cuts the substitution to the size of the actual flock.

The High-Priestly Prayer That Names the Recipients

Now turn to John 17, the longest recorded prayer of Jesus, prayed in the upper room hours before the cross. The chapter is sometimes called the High-Priestly Prayer, because in it the Son brings before the Father the names of those for whom He is about to die. The Levitical High Priest carried the names of the twelve tribes engraved on his shoulders into the Most Holy Place on the Day of Atonement. The Son, in John 17, fulfils that figure in spirit. He names His sheep before He bleeds.

And the prayer contains a sentence that no one who reads it carefully can ever forget:

"I pray for them. I am not praying for the world, but for those you have given me, for they are yours."

JOHN 17:9

The Greek is unambiguous. οὐ περὶ τοῦ κόσμου ἐρωτῶ (ou peri tou kosmou erōtō) — "I am not asking concerning the world." The verb erōtō is in the present indicative active, first person singular. The negation is direct. Jesus, on the eve of His death, in the act of presenting His coming sacrifice to the Father, explicitly excludes from His high-priestly intercession those who are not given to him by the Father. The exclusion is not a slip. It is structural. The High Priest does not carry every name into the Holy Place. He carries the names of the elect.

Now connect the dots the trilemma forces us to connect. If the High Priest in His intercession is praying only for those given to Him, and if the High Priest's intercession and the High Priest's sacrifice are the same act in two phases (Hebrews 7:24–25 makes this explicit — His priesthood is permanent and the basis of His ongoing intercession is His one-time offering), then the sacrifice itself is offered for the same recipients as the prayer. The cross is not wider than the prayer. The cross is the prayer's bodily form. The Son does not lay down His life for those He has just told the Father He is not praying for. The two motions are one motion. The exclusion in the prayer is the same exclusion that defines the cross.

The Owen Trilemma now has its missing verse. Christ died for all the sins of those given Him by the Father. The trilemma's branch (b) is not an inference from logic alone; it is the position John 17:9 articulates from inside the Lord's own mouth.

The Steel-Manned Universalist Verse

The most common scriptural objection to particular redemption is 1 John 2:2:

"He is the atoning sacrifice for our sins, and not only for ours but also for the sins of the whole world."

1 JOHN 2:2

The objector reads this verse and concludes that Christ's atonement was offered for the whole world, in branch-(a) sense, and that the Reformed reading must therefore be wrong. The objection deserves the steel-man treatment before it is answered. Hilasmos ("propitiation," "atoning sacrifice") is one of the strongest atonement words in the New Testament. Holou tou kosmou ("of the whole world") is universal in scope on its face. The Reformed reading, the objector says, has to torture this verse beyond what the Greek can bear.

Here is what the Greek actually does. John, writing to a small Christian community in Asia Minor in the late first century, is contrasting the propitiation made for "our sins" (the sins of John's local Jewish-Christian community) with the propitiation made "also for the sins of the whole world." The contrast in the Greek is between our group and the wider world of believers. The phrase holou tou kosmou in Johannine usage frequently means "the whole world of those who will believe" — not every human individual without exception, but every nation, tribe, and tongue without distinction. John has just written, in his Gospel (John 11:51–52), that Christ would die "not only for that nation but also for the scattered children of God, to bring them together and make them one." The "scattered children of God" are not every human; they are the elect dispersed across all peoples. And the language of 1 John 2:2 is a parallel formulation: not for this Jewish-Christian congregation alone, but for the worldwide elect from every nation under heaven.

The reading is not a Reformed gymnastic. It is the only reading that makes 1 John 2:2 cohere with John 17:9, John 10:11, John 10:26 ("you do not believe because you are not my sheep"), and the entire Johannine corpus's bilateral world-language. The "world" in John is sometimes universal in extent (John 3:16) and sometimes universal in scope of nationality while particular in scope of recipient. The Owen Trilemma, plus the Greek of hyper, plus the explicit exclusion in John 17:9, force the second reading on us. 1 John 2:2 means: for the elect of every nation, not only those of ours.

The universalist objection thus fails on the same Greek that it leaned on. The text forecloses what it seemed to open.

What This Means for the Believer Tonight

Pull the trilemma off the lectern and put it on the kitchen table. The most pastoral consequence of definite atonement is the most counterintuitive one. The general atonement reading, on its face, sounds like the more loving doctrine: Christ died for everyone. But notice what the general reading does to your assurance. If Christ died for everyone in branch-(a) sense, then His death did not actually save anyone in particular; it only made salvation possible. The decisive transaction has been deferred from the cross to the human will. Whether the cross saves you depends on whether you, by your own free decision, take advantage of the offer. The cross becomes a generic ticket dispensed at the door. Your salvation rests, finally, on your having presented the ticket at the right moment with the right disposition.

Particular redemption is the opposite. Christ on the cross did not buy a possibility. He bought persons. The transaction at Calvary was not "if anyone wants this, it will be available"; the transaction at Calvary was "these are mine, and I am paying their price now." Your name, if you are His, was on the lips of the High Priest as He went into the Most Holy Place of His own death. Your name was carried in. The substitution was particular. The transaction completed. The faith you would later exercise was itself produced by the Spirit who proceeded from the very transaction in which your name was named. The cross does not depend on your will. Your will depends on the cross.

This is why the Reformed tradition has always preached definite atonement as the most pastorally comforting doctrine, not the coldest. The Bridegroom did not stand on the hill at Golgotha hoping His Bride would come. He paid her dowry by name. The High Priest did not enter the Holy Place wondering whose sins were on the list. He had the list engraved on his shoulders before he stepped through the curtain. The cross was the most specific act of love in human history, and the specificity is exactly what makes it inalienable. A general love that loves everyone in the same way loves no one in particular. A particular love that loves you by name — knowing you, choosing you, dying for the precise sins on your particular ledger — is a love that cannot be misplaced because it was never offered as a possibility. It was completed.

The Diamond's Other Faces

This is the second of two angles on definite atonement on this site, alongside the High Priest carrying names. The two articles are different lenses on the same stone. The priest-shoulders article works from Exodus 28 forward; the Owen Trilemma works from the cross backward. Both arrive at the same particular love. Both close the same exits. Both leave the reader with a single name engraved on a single set of shoulders, carried into a single Holy Place by a Priest who knows His sheep and will not lose one.

Pair this article with the Spirit's arrabōn on perseverance, with the Lord opening Lydia's heart on irresistible grace, with the Greek of eklogē on unconditional election, and the cathedral's load-bearing chamber is now visible from inside. The faith placed in the elect. The hearts opened to receive it. The Bridegroom's deposit sealing the betrothal. The High Priest carrying the names. The Christ on the cross paying — by name — for every sin of every person whose name He carried. The unbroken chain of Romans 8: foreknown, predestined, called, justified, glorified — and Owen's trilemma makes the second-to-last word, justified, pinpoint-particular.

The Catch Beneath the Argument

If the trilemma has crowded you, here is the open door. You may not yet know whether your name was on the list. That is the question every honest soul wonders. The cross did not come with a printed roster handed to the world afterward. The roster is read aloud only on the day of resurrection, when the names are called.

But the New Testament names a sign. Those whose names were carried in are those who, in time, are drawn to the One who carried them. The mark of an elect heart is not certainty about the election but love for the Elector. The drawing produces the loving. The loving is the receipt. If you have read this far in an article whose argument cuts most readers' pride to ribbons and you find that the cutting is a relief rather than an offense, that is the sign. The unconverted heart hates this doctrine with an animal hatred; the elect heart, when it sees the doctrine clearly for the first time, weeps with relief because at last the cross has been described in a way that fits the size of its own dread of itself.

Christ died for all the sins of some men. If you are His, He died for yours, every one of them, in the particular and unrepeatable transaction of Calvary. The ledger is closed. The sheep are gathered. The Greek does not bend.

The trilemma stands. It has stood for almost four hundred years, and it stands still.

Christ died for His sheep — by name.