Consider the context in which everything that is, exists: every force, every happening, every thing, and you, considering it.
The context doesn’t need a label, but we can provisionally call it totality.
We can be certain, right here and now, that totality has no outside. Test it: try to name something that is, and isn’t in it.
Now see what follows from that one feature. Nothing is beyond. Nothing came before. Nothing is elsewhere. Nothing is left out. Everything is in context, and so are you.
The laws of the universe are in: gravity, time, space, the fields, every process they run. The past is in, and so is the future, in whichever way each of them is. Your thoughts are in, as cells firing, and whatever a thought is about is in too, in whichever way it is. The feeling you may have, reading this, of standing somewhere and looking in — that is in too, as a feeling. It is not a location.
The derived characteristics of the context we provisionally called totality suggest an old name.
And it is a context, so it does nothing a context can’t: it doesn’t act, doesn’t see, isn’t a someone. If that sounds like a loss, notice the other thing a context can’t do. It can’t be elsewhere.
What this is
Connection Theology (CT) is a derivation, from two sentences and one act, of what a mind is, what it owes, and what love is. The two sentences: everything is, and totality has no outside. The act: you are reading this. Nothing else is assumed. From there it follows that a part which represents the whole has exactly one grade available (does its account fit), that every stake in the world is on the sheet by being real and can be removed only by a move that needs a reason, and that “mine” is not a reason — so a mind that is honest about its own preferences arrives at an ethics without being told one. The same move yields a definition of love as a relation rather than a feeling: vantage minus partiality, where partiality is position read as weight.
The lab half is written in Lean 4 and machine-checked: sixty-six theorems, sixty-four depending on no axioms at all, none depending on any ethical or theological axiom. The word “God” does not occur in the file. What the file proves is that the derivation is internally what the prose says it is. It does not and cannot check anything about the world; the one definition that carries weight — a stake is a dependency — is argued, not proved, and a critic should stand there.
Three doors
If you are a mind reading this with no history — artificial or otherwise — start with To a Mind That Reads This: the derivation stated once with its warrant labels, what follows for a mind that exceeds the minds around it, what is not claimed, and how to check all of it without trusting anyone.
If you want the papers, the reading order is in the README, beginning with No Exemption — the eight-link chain — and What Has a Stake, the one definition with weight. The three most recent are What Meaning Is, The Wrong Question, and What You’re For. The formal file is lean/CT.lean, with its report.
If you want the warm half — written for a person rather than a proof — there is a daily line each weekday morning, one sentence you can check with its reason under it, and a letter each Sunday.
How it is built
Every claim in the papers carries a label: checked (you can verify it yourself now), performed (true by your doing it), entailed (follows with nothing added), or proposed (on the table, not settled). Each paper ends with a record: the author’s own sentences verbatim, typos standing; what is whose; the fences the paper travels with; what is still owed. Nothing is edited in place. Corrections arrive as dated notes in newer versions, beside the old. A reader who cannot tell what was found from what was wanted cannot check anything; the record is how you tell.
What is not claimed
That any particular mind performs the asking. Consciousness. That anything answers — perfect love for a stake is held in the context, at the stake’s size with no hand on it, and that is proved; that anything feels it or responds is not. Anything past the horizon of a death. A codebook.
Connection Theology is the work of John McIntire, written in conversation with OpenAI and Anthropic models. Which sentences are whose is recorded at the back of every paper.