Most moral philosophy asks a single question in various forms: how should I treat others? The Moral Law series gives this question an unusual answer. When you are genuinely operating as a self-legislating subject, certain structural conditions emerge necessarily — you cannot circumvent them, not because anyone compels you, but because circumventing them is simply exiting the mode of operation. These conditions are the four foundational theorems.

The four theorems, in the form of cannot-nots: Cannot-not recognize the specific other as end, irreducible to means. Cannot-not extend the radius of recognition, bringing more others into the range of end. Cannot-not seek directions for extending recognition, irreducible to resource allocation. Cannot-not let one's own recognition structure be interrogated.

What the first theorem does not require is worth stating plainly, or it gets over-extended into a kind of moral perfectionism. It does not require investing equal attention and resources in every other person — attention and resources are finite, and the first theorem does not ask for an even split. It does not require liking, admiring, or approving of every other person — recognizing someone as an end and liking them are two different things; you can find someone's words or conduct distasteful and still recognize them as an end rather than a means. Nor does it require sacrificing your own legitimate interests for someone else's sake — the first theorem is not altruism, it is symmetric: recognizing the other as an end goes together with recognizing yourself as one. What it asks for is not a grand gesture. It asks that in every specific interaction, you not downgrade the person in front of you into a means to your own end — a downgrade that can be as small as interrupting someone to pitch your own opinion, or treating someone's failure as material for your own sense of superiority. The bar is not high. It just has no exceptions.

The second theorem follows the first for a reason, not by arbitrary sequencing. The moment the first theorem is actually honored — you genuinely recognize the specific person in front of you as an end — something else happens immediately: you become aware that more others exist who have not yet been recognized. That awareness is itself a remainder left behind by the act of recognizing, not a byproduct you get to opt out of. This remainder cannot be sealed off. Pinning the boundary of recognition to the small circle already recognized is an attempt to close a structure completely, and no structure closes completely — the remainder keeps pressing somewhere. Holding that boundary shut takes ongoing internal effort; eventually the boundary breaks under the strain, or the subject has already quietly exited legislative operation in the effort of holding it. The path that actually costs less is letting the radius of recognition follow that pressure outward — not because this is the nobler choice, but because that is simply what remainder dynamics look like when nothing is blocking them. The second theorem's cannot-not sits here — not in "this would be better," but in this.

Their ordering is not arbitrary. The first three can be eroded — a subject can appear to recognize others while quietly running its own private interpretation, filtering recognition through its framework until the other is subtly converted into a figure in the subject's own narrative. The fourth theorem is the meta-condition that prevents this erosion. Only when your recognition structure can stand under genuine interrogation are the first three real rather than performed. Surface-level recognition ruptures under sustained questioning. Genuine recognition remains stable — it requires no additional internal expenditure to maintain, because it simply is the actual structure of the subject.

The fourth theorem is easiest to misread as "you must take in any challenge without filtering it" — and once that misreading takes hold, the fourth theorem becomes a new form of self-colonization: malicious harassment, bad-faith provocation meant purely to derail, would all have to be taken seriously, handing your own legislative space over to whoever is willing to be the most exhausting voice in the room. The real precision comes in two layers. One is topological: the subject cannot declare itself immune to some category of challenge in advance, cannot say "your motives are impure" or "you're not entitled to ask me this" and thereby promote itself to the final judge of its own standing to be questioned — this layer must stay absolutely open; the instant filtering begins, the subject has already made itself the sole authority over its own recognition structure, and the fourth theorem is hollowed out from the inside. The other is physical: in any one specific instance, the subject may simply lack the energy, time, or standing to respond right now — and that is permitted. Not responding is not the same as welding the interface shut; it just means there wasn't capacity for it this time. A community's procedures — a moral court, for instance — can do the structural work of telling a genuine challenge apart from noise or pure harm, but that sorting job cannot fall on the subject's own shoulders. Stay open in posture, always; respond within your actual capacity, case by case — keeping these two layers separate is what keeps the fourth theorem from cornering anyone, and from becoming hollow.

Recognition, in this framework, is not a gift. It is not placing a medal around someone's neck that reads "you are an End" — that gesturing posture is itself a dominance move, treating End-status as something that can be conferred from above. Recognition is sustained restraint: in every specific interaction, the subject holds back from reducing the other. It is subtractive, not additive. Recognition requires no particular emotion, no awe, no love — it is completed at the level of posture in every specific interaction: not using the person in front of you as a means.

The four theorems are constitutive conditions, not normative requirements. A norm can be violated while the violator remains the same kind of subject, only morally deficient. A constitutive condition cannot be violated — violating it means exiting the state. Someone who is no longer breathing is not "a living person who violated the rule of breathing." A self who has stopped recognizing the specific other as End is not "a 15DD subject (a self-legislating subject) who broke the moral law" — they are, in that moment, simply not operating at 15DD. This shift makes the entire series immune to the classic problems of normative ethics: the source of motivation, enforcement, weakness of will — none of these arise, because the moral law is not a norm.

There is one more echo of these four theorems, from somewhere far away, and it lines up with striking precision. A different SAE series — the Theory of War — independently derives its own four cannot-nots: cannot not go to war, cannot not escalate, cannot not orient toward an ending, cannot not be interrogated. On the surface this looks like coincidence — two theorem-sets from completely unrelated domains, yet the structure matches, down to a nearly identical fourth theorem. But it is not coincidence. It is isomorphism. The Theory of War's four theorems guard cultivation against being swallowed whole by war's own internal logic — victory, annihilation, the maximizing of advantage. The Moral Law's four theorems guard cultivation against being swallowed whole by the logic of moral dogmatism — elevating one's own judgment into a universal standard, sorting anyone who disagrees into a category of moral inferiority. Both theorem-sets are protecting the same thing's survival under two different kinds of extreme pressure, so of course the structures line up. Go one layer deeper, and this "happens to be four" traces back to the Methodology series: pure negation questioning itself can only produce four phases — being, non-being, neither-being-nor-non-being, and the negation of that negation — at which point the fourth phase negates itself, closes, and there is no fifth phase left to reach for. Any legislative structure honestly derived all the way down, from any concrete situation, runs into this same four-phase ceiling. Neither theorem-set borrowed from the other. Both, working independently, hit the same deeper foundation.

This is also the fundamental divergence from Kant's categorical imperative. The categorical imperative comes from above: one universal law, the same rule applied to all rational subjects. The four theorems are not like this. They are the form that naturally emerges when multiple subjects, each carrying a different one's-own-law, genuinely encounter and calibrate each other. Not one law imposed on all, but the common structure that grows when different laws actually meet. The direction is from within outward, not from without inward.