This tractate restates, in compressed form, the argument of No Self-Authorizing Norms: A Structural Theorem on Moral Judgment (Shahaf 2025). Its whole sense may be put in a sentence: whoever judges has already deferred. What can be proved at all is here proved from a single clause; the rest is logic – and what that clause carries cannot be said within the calculus, but shows itself in its use. The decimal numbers indicate the logical weight of the propositions: propositions n.1, n.2, n.3 are com