I hypothesise in an informed manner. Paying for the Λ is what engineers in foundries do for us. This argument specifically is addressed in section 7: The natural objection — a substrate that realises A already has reliable transitions — is a dilemma. If “realises” is structural, such substrates exist and the theorem stands. If “realises” requires persistence, then by Lemma 4 it requires excluding the substrates with Λ < 1 — asserting Λ ≥1, a substrate fact about the relaxation timescale, not part of A and not a function of x_t — and neutrality is lost. The repair is the concession.