Before we can speak about what exists between two things,
we must first establish that both remain real inside the relation.
When I began trying to define health formally, I understood that any instrument we might eventually build would inherit the definition beneath it, carrying into every measurement our prior decisions about what exists, what matters, and what physical relationship allows a signal to become a meaningful claim. A thermometer arrives after temperature has been defined; an electrocardiograph arrives after electrical potential, time, conduction, and the surface of the body have been brought into a common physical language; and by the time either device enters a clinic, the number appearing on its display carries centuries of mathematics, experiment, calibration, and agreement quietly inside it.
Health has come to us through a different history, shaped by medicine’s increasing ability to identify disease, describe injury, classify impairment, and recognize the thresholds beyond which a body enters danger. We can locate a tumor, grade a stenosis, identify an infection, follow the destruction of tissue, and calculate the probability that a future event will occur. Around these achievements, health often appears as the open interval before disease becomes visible, the return of familiar function after an injury, or the region of a population curve in which a person’s measurements remain ordinary enough to cause little concern.
I wanted to know what was positively present when we called a living system healthy, what structure the word was attempting to name, what conditions allowed that structure to endure, and what an instrument would have to witness in order to speak about it with physical and mathematical justification. I wanted the word health to arrive at the measurement carrying its own object, so that a claim could be followed into the mathematics that authorized it and then backward through every material event that allowed the claim to be made.
That question took us beneath the sensor, beneath the signal, and beneath the eventual number, because an instrument can gather exquisite data while the meaning of the data remains dependent upon the thing it was built to approach. It can resolve changes across milliseconds, discover patterns too subtle for a person to see, compare one body with thousands of others, and correlate its output with diagnoses that emerge years later. Each of these capacities can become useful, while a measurement of health requires something more fundamental: a formal account of what health is, which transformations preserve it, and which physical observations can support a claim that it is present.
The path toward such an account begins with relationship, because a living quantity becomes meaningful through the other quantities with which it moves. A heart beating seventy-two times per minute carries one significance in a sleeping adult, another in a frightened child, another in a trained athlete recovering from exertion, and another in a person whose circulation is beginning to lose its ability to answer demand. The number remains seventy-two while its physiological meaning changes through breathing, pressure, temperature, posture, oxygen need, recent movement, and the unfolding time of the body in which it appears.
Every familiar measurement opens in the same way when we remain with it long enough. A concentration belongs to the fluid, tissue, compartment, and hour in which it was found; a voltage belongs to the sites between which it arose and to the path by which charge moved; a pressure belongs to the boundary that contains it, the source that produces it, and the material capable of yielding in response. The quantity gathers meaning through the relationships that give it consequence, and health begins to become formally approachable through the way those relationships remain organized, responsive, and available to one another while the living system continues to change.
A formal definition of health can therefore be approached only through variables of relatability, quantities whose meaning lives in the passage between one thing and another: between a source and its response, one site and another, a present condition and the change that follows it, an interior process and the boundary through which that process becomes observable. Timing enters because a response belongs to what preceded it; support enters because every measured term must arise from something physically and mathematically present; distinction enters because two quantities can be related only while each retains enough identity to contribute its own information; and continuity enters because health concerns what a living system can preserve as matter, energy, circumstance, and time continue moving through it.
I would like to share a recent example of what this looks like within formal methods, along with the reflection it opened for me in our lived experience as human beings. Recently, I was working through a veritable tangle of mathematical nuance when I reached a section whose conclusion struck me as almost too small to deserve the difficulty that had gathered around it.
The proof concerned a correction operation acting on formal words. I had already completed the zero-length case, in which the relevant word is empty, and was working through the next smallest case, where the original word contains a single occurrence. What I needed to establish was simple enough to say in one sentence: every correction output still contains at least two supported occurrences.
The construction introduces one distinguished occurrence while carrying another through the surrounding context, and because the word being acted upon is nonempty, both remain inside the resulting expression. A derivative can remove one eligible occurrence, leaving at least one behind, which means that none of these outputs can contribute to the empty word. Once the presence of the two occurrences has been established, the conclusion follows with the ease of elementary arithmetic:
2 supported occurrences − 1 removal = 1 surviving occurrence.
Yet the proof assistant cannot accept the two merely because I can see them, or because their presence feels obvious from the way the construction was written. Each occurrence must be followed into the output; its support must remain intact; its identity must survive the surrounding transformations; and the two must remain distinguishable through every reduction permitted by the algebra. The conclusion becomes easy only after the proof has established that the world inside the expression really contains two valid things to count.
A relational measurement is never only a number. It is a claim about what happened between identifiable things, across an ordered route, under a particular interrogation, with a known boundary and a preserved history of composition.
As I worked through this, I began thinking about how often our ordinary understanding rests upon the same apparently childish certainty. We look at two people in a marriage and know that there are two bodies, two names, two histories, and two lives gathered inside the relationship, while the deeper health of that relationship depends upon whether two living centers of care remain present within it. The mathematical problem had become unexpectedly recognizable: before we can speak about what exists between two things, we must first establish that both remain real inside the relation.
Imagine, then, a marriage after a difficult year, when two people may still share a home, a history, and the practical structure of a life while wondering what remains alive inside the word we. They have passed through months of unfinished conversations and small withdrawals, through mornings in which the day began before either found language for the night before, and through the accumulating fatigue of living beside an injury that keeps changing shape as each person carries it privately.
One evening, driving home after visiting friends, they reach the familiar turn toward their street and continue past it, following the road beyond the houses until the traffic thins and the lights of town begin receding behind them. The person in the passenger seat has spent most of the drive watching fields disappear into the dark, while the driver holds the wheel with both hands and waits inside the quiet; and when the passenger finally says that they want to find their way through this, the sentence enters the car carrying the strain of everything that made it difficult to speak.
That sentence resembles the newly inserted occurrence in the proof, an act brought into the shared space through the agency of one person, while the answer that comes after another mile — an assurance that anger has not exhausted commitment — carries something older through the conflict. The second sentence has travelled from the life they shared before this year, through disappointment and self-protection, into the present moment, where it becomes available again as a continuing bond. One person has introduced a movement toward repair, and the other has transported their commitment across the rupture; together they seem to provide the two occurrences the relationship needs.
Their presence will be established through what those sentences become as the road continues beneath them and as the days that follow begin gathering around what was said. The invitation to repair acquires support when the person who offered it remains available to hear what the year has felt like from the other seat, allowing memories to return with their different angles and permitting an answer to alter the story already assembled in solitude. The continuing commitment acquires support when it enters the ordinary structure of their life, appearing in the conversation resumed the following morning, in a promise remembered later in the week, and in the willingness to approach again after the first effort produces more tenderness than resolution.
As each contribution develops its own history, the two must also remain distinguishable, because one person’s invitation cannot supply the other person’s willingness, and one person’s patience cannot become evidence that both have understood. An apology belongs to the person who offers it, forgiveness belongs to the person who may eventually give it, and the path between them is made through the movement of two lives whose contributions meet without losing the origin from which each came.
A marriage may contain two voices while one person provides the language, regulation, and forward movement carried by them both. The same person may recognize the distance, begin the conversation, soften the first answer, interpret the silence, propose the repair, and keep the passage open long enough for both people to move through it, until the visible exchange bears two faces while its active support continues to arise from one center.
The apparent count may still look like
1 + 1,
even while its interior structure has become something closer to
1 + echo(1).
The difference becomes visible whenever the person who usually carries the relationship grows tired enough to set the work down. Their silence creates an opening in which another source of care may begin to move: the other person may notice, approach, ask what has happened, and hold the continuity that had so often been held for them. What remains after one contribution is withdrawn reveals whether the second contribution possessed its own support all along.
Every lasting relationship passes through seasons in which one person carries more, because illness, grief, work, children, fear, and exhaustion continually redistribute what each person can offer. Relational health lives within this changing asymmetry as the capacity to restore two living centers of care, allowing one person to hold the shared life while the other recovers and preserving a path by which the one being carried can return with agency of their own.
Across the years, the direction of care moves back and forth between them. One person remembers the appointment, carries the finances, rises with the frightened child, or keeps conversation possible through a period of grief; then the structure turns, and the one who had been held becomes the person capable of holding. Each learns the weight of the other’s life through the experience of carrying it, and each learns the reality of their own place in the relationship by discovering that weariness does not make the shared world disappear.
The health of the marriage appears in this capacity to preserve their twoness through change, sustaining enough relationship for both people to act, receive, withdraw, return, and continue altering the life between them. Their joining gives rise to something larger than either life alone, while the vitality of that larger life depends upon the continuing presence of the two distinct sources from which it is made.
The formal proof gives this familiar experience an unexpectedly exact shape. Before two occurrences can support a conclusion, each must be shown to exist; before their relationship can survive a transformation, each must remain present through it; and before the removal of one can reveal what remains, the proof must establish that the second was something more than a repetition generated by the first. The marriage allows us to feel why these obligations matter, while the algebra requires us to state them with enough precision that nothing passes through the argument merely because it looked obvious from a distance.
When the definition of health moves from the algebra into an instrument, the same obligations enter physical matter, where the clarity of a symbol gives way to the dense simultaneity of the living world. The formal system knows where an occurrence came from because it was constructed there, while a sensor receives a mixture formed by the body, the applied source, the contact between instrument and skin, movement, environmental interference, amplifier behavior, clock timing, and every computational transformation through which the original event becomes a recorded value.
Two channels may produce two waveforms while carrying the same disturbance, just as two sentences in a marriage may draw their movement from one person. A response may seem to follow a source because both were shaped by the same reference, the same motion, or the same drift in timing; and a processing step may produce several visible outputs from one underlying event, multiplying the appearance of evidence while leaving its origin unchanged. The instrument must therefore establish the terms of the relationship before the relationship can support a statement about health.
This requires a physical lineage extending through the entire measurement. The source must be delivered and independently witnessed; the response must arise through a known boundary; the timing between them must remain intact as the signal passes through amplification, conversion, and computation; and the identity of each term must travel forward into the final claim. When a witness disappears, the claim must weaken with it, preserving within the language of the result the exact limit that entered the physical record.
This is where the formal definition begins shaping the hardware itself, because a definition built through relatability asks the instrument to preserve relationships from the world into the measurement. It asks us to know which physical event produced a recorded value, which site received it, when it arrived, how it changed, what other event it remained related to, and whether that relationship survived the sequence by which matter became voltage, voltage became data, and data became a statement presented to another human being.
Sensitivity belongs inside this chain, along with resolution, calibration, repeatability, and every other quality by which an instrument earns scientific trust. Yet the particular burden of measuring health reaches into the relationship among these qualities, because a beautifully resolved signal still needs a valid origin, a precise timestamp still needs two events worth relating, and an elegant analysis still needs physical witnesses capable of supporting the terms that entered it. The instrument must carry the discipline of the proof into the materials from which it is made.
This is why we undertook the formal work before asking the measurement to speak. We wanted health to possess an object rigorous enough to govern the claims made in its name, a proof corpus capable of establishing what remains true as that object is transformed, and an engineering chain capable of preserving the required relationships from the living body into the record. The definition gives health a form that can be reasoned about; the proofs establish the conditions under which that form survives; and the instrument creates a physical passage through which those conditions can become observable.
What first appeared to be a problem of sensing therefore became a problem of relation all the way down, from the relations within a living system, through the relations represented in the mathematics, into the relations preserved by the instrument and finally into the relationship between a measurement and the claim it authorizes. At every passage, the same care returns: establish what is present, preserve where it came from, keep distinct things distinct, and allow the final statement to carry only what the full chain can support.
The small length-one proof contains this undertaking in miniature, beginning with two apparent occurrences and refusing to count them until each has been shown to be present, supported, distinguishable, and capable of surviving the permitted transformation. Its conclusion remains as simple as the couple driving beyond the familiar turn and discovering, somewhere along the dark road, that one person’s effort can cross into the shared life and meet another effort already moving toward it: there are still two, and the difficult work of measuring health begins with making that sentence true from the abstraction, through the instrument, and into the living world.
The definition this reflection begins from is the subject of The boundary comes first; the proof corpus and the algebra whose closure laws forced this discipline are described in A boundary-observable certification algebra; and the passage from the definition into a physical instrument is the subject of Reading the living boundary.