Analytics choice

SyncAI uses optional analytics and advertising measurement only after you allow it. Necessary site functions work without these trackers. Privacy details

Back to Insights
Decision Case

Assured Is Not Certified

Assured is not certified. Assured means, on the industrial assurance spine, a named assurance claim with evidence boundaries (what is claimed, by whom, under what scope) — evidenced by assurance package with named assurer / claim / scope roles, named assurance criteria met (what is claimed stated, by whom stated, under what scope stated), dates, and an unbroken trail to that assurance evidence — not the slide from "it is assured" to "it is certified," not a dashboard green tile with no assurance boundary, not a verbal "it is assured," not a recovery drill treated as an assurance claim, and not a status light that never names what is claimed, by whom, or under what scope. Certified means, under that same named instrument for that channel, an external or formal certification artifact that can be independently verified — evidenced by certification package with named certifier / artifact / verifier roles, named certification criteria met (assurance package cited, the external or formal certification artifact named, the independent verification path stated), dates, and an unbroken trail from the assurance evidence to that certification evidence — not the slide from "it is assured" to "it is certified," not a certificate PDF with no independent verification path, not a laminated badge, not a chat note that says certified, and not treating the assurance claim as automatic certification. Assured is not certified. A firm can be assured and still not certified (assurance evidence exists while the external or formal certification artifact is missing). A firm can hold a named assurance claim with evidence boundaries and still lack an external or formal certification artifact that can be independently verified. A certification claim alone is not proof the named assurance evidence was on the file. An assurance package alone is not certification of that assured successor outcome. Assurance evidence alone is not certification of that assured successor outcome. A named assurance claim is not a certification artifact. A verbal "it is certified" alone is neither. Refuse the slide from "it is assured" to "it is certified." This split is assured versus certified. Keep this assured distinct from the successor-spine Assured Is Not Guaranteed. Keep this assured distinct from the filing-spine Assured Is Not Guaranteed and from Recoverable Is Not Assured. Keep this certified distinct from the filing-spine Assured Is Not Certified and from Certified Is Not Insured. This essay does not give that assured a new meaning. This essay does not rewrite that thesis. This essay does not open a successor route for Recoverable Is Not Assured. This essay does not recreate the guaranteed-to-collectible-to-sustained successor loop. This essay does not recreate the binding-to-transferable successor loop. This essay does not recreate the sustained-to-scaled-to-rehearsed successor loop. This essay does not collapse assured into certified. This essay does not collapse certified into assured.

Assured is not certified. A firm can be assured and still not certified (assurance evidence exists while the external or formal certification artifact is missing). A firm can hold a named assurance claim with evidence boundaries (what is claimed, by whom, under what scope) and still lack an external or formal certification artifact that can be independently verified. A certificate PDF with no independent verification path is not certification. An assurance package alone is not certification of that assured successor outcome. Assurance evidence alone is not certification of that assured successor outcome. A certification claim alone is not proof the named assurance evidence was on the file. A named assurance claim is not a certification artifact. A verbal "it is certified" alone is neither. Refuse the slide from "it is assured" to "it is certified." This split is assured versus certified. Keep this assured distinct from the successor-spine Assured Is Not Guaranteed. This essay does not rewrite that thesis. This essay does not give that assured a new meaning. This essay does not open a successor route for Recoverable Is Not Assured. The successor route for Recoverable Is Not Assured is closed.

False confidence here is an assurance claim treated as if an external or formal certification artifact already existed, or a claim that it is assured so it is certified treated as proof the named assurance evidence was on the file. Evidence from the plant beats the assurance record when the record is being used as certified. Evidence from the plant beats the certification claim when the claim is being used as proof the named assurance claim was on the file. Evidence from the plant beats the note. A practice record that says assured is certified is not shown certified. Sync refuses to pretend assured or certified is a status light. Sync does not measure assurance. Sync does not measure certification. Sync does not measure assurance for the customer. Sync does not measure certification for the customer. Sync does not measure assurance or certification for the customer. Sync does not issue the assurance claim for the customer. Sync does not certify the assurance for the customer. Sync does not deem certified for the customer. Sync does not deem assured for the customer. Sync may surface an assurance record or a certification record beside Evidence, Verification, and the closed outcome. Surfacing is still a read. The closed outcome in that sentence is the Decision Case outcome record. It is not this assured, and it is not this certified. Sync must not auto-approve assurance claims or auto-certify the assurance. Sync must not auto-approve assurance claims. Sync must not auto-certify the assurance. Sync must not treat assured as certified as Learning credit. Recommend is not authorize. Direct plant execute stays off. CMMS write-back is not a live product path. Billing write-back is not a live product path.

The chain this refusal sits on is already fixed. Judgment is not authority. Authority is not accountability. Accountability is not ownership. Ownership is not control. Control is not closure. Closure is not complete. Complete is not accepted. Accepted is not verified. Verified is not authorized. Authorized is not executed. Executed is not closed. Closed is not resolved. Resolved is not proven. Proven is not trusted. Trusted is not adopted. Adopted is not sustained. Sustained is not scaled. Scaled is not compounded. Compounded is not owned. Owned is not governed. Governed is not transferable. Transferable is not rehearsed. Rehearsed is not recoverable. Recoverable is not assured. Assured is not certified. Certified is not insured. Insured is not covered. Covered is not paid. Paid is not settled. Settled is not booked. Booked is not reconciled. Reconciled is not closed. Closed is not collected. Collected is not recognized. Recognized is not reported. Reported is not audited. Audited is not filed. Filed is not accepted. Accepted is not posted. Posted is not effective. Effective is not binding. Binding is not enforced. Enforced is not remediated. Remediated is not released. Released is not recorded. Recorded is not cleared. Cleared is not closed. Closed is not delivered. Delivered is not operated. Operated is not sustained. Sustained is not assured. Assured is not guaranteed. Guaranteed is not collectible. Collectible is not applied. Applied is not restored. Restored is not accepted. Accepted is not sustained. Sustained is not transferable. Transferable is not binding. Binding is not enforced. Assured is not certified. That sentence, on the industrial assurance spine, is this refusal. Certified is not insured is the next sentence on the filing spine. Forward reading stays at that filing essay. The next successor route for Certified Is Not Insured may be named in prose only. This essay does not implement that page. Recoverable is not assured is the prior sentence on the filing spine. This essay does not open a successor route for Recoverable Is Not Assured. That successor route is closed. Assured is not guaranteed, on the successor spine and on the filing spine, is a different assured. This essay does not rewrite that thesis. Guaranteed is not collectible through accepted is not sustained is a finished successor loop. This essay does not recreate the guaranteed-to-collectible-to-sustained successor loop. Binding is not enforced through transferable is not binding is a finished successor loop. This essay does not recreate the binding-to-transferable successor loop. Sustained is not scaled through transferable is not rehearsed, stopping before a successor for rehearsed is not recoverable, is a finished successor loop. This essay does not recreate the sustained-to-scaled-to-rehearsed successor loop. This essay does not claim a successor route for Rehearsed Is Not Recoverable. None of those sentences is this refusal. This refusal is a named assurance claim with evidence boundaries (what is claimed, by whom, under what scope), versus an external or formal certification artifact that can be independently verified. A named assurance claim is not a certification artifact.

The assured practice is not the certified practice

The problem is an assurance record treated as if an external or formal certification artifact that can be independently verified were already on the file, or a certification claim treated as if the named assurance claim under the same evidence bar had been evidenced. The assurer can be named. The claim can be named. The scope can be named. The chat can say it is assured. The badge can be laminated. The PDF can say certified. The independent verification path was never stated. The assurance package was never cited. The external or formal certification artifact was never named. The dates do not cover that artifact. No trail runs from the assurance evidence to that certification evidence. A verbal "it is certified" alone is neither. Assurance theater is not certification. Certification theater is not an external or formal certification artifact that can be independently verified. Refuse the slide from "it is assured" to "it is certified." A named assurance claim is not a certification artifact.

One file can hold an assurance record. Under the named instrument for that channel, there is a named assurance claim with evidence boundaries (what is claimed, by whom, under what scope), with an unbroken trail to that assurance evidence. The same file can still lack a certification record. Under that same instrument, that assured outcome is not certified until the certification mechanics are on the file: a certification package with named certifier / artifact / verifier roles, named certification criteria met (assurance package cited, the external or formal certification artifact named, the independent verification path stated), dates, and an unbroken trail from the assurance evidence to that certification evidence. A verbal "it is certified," a certificate PDF with no independent verification path, or a laminated badge is not certification of that assured successor outcome.

Assured, in this essay, means a named assurance claim with evidence boundaries (what is claimed, by whom, under what scope), trailed to that assurance evidence. This essay does not give that assured a new meaning inside Assured Is Not Guaranteed, on the successor spine or on the filing spine. Those essays keep the assured they already name. Certified, in this essay, means an external or formal certification artifact that can be independently verified, trailed from the assurance evidence. The two records meet only on an unbroken trail from the assurance evidence to the certification evidence. A certificate PDF with no independent verification path is not that certification. A named assurance claim is not a certification artifact.

On Tuesday the question splits. The assurance file answers whether there is a named assurance claim with evidence boundaries: what is claimed, by whom, and under what scope, with named assurer, claim, and scope roles, dates, and a trail to that assurance evidence. The certification file answers whether an external or formal certification artifact can be independently verified: named certifier, artifact, and verifier roles, the assurance package cited, the artifact named, the independent verification path stated, dates, and a trail from that assurance evidence to that certification. A slide that says it is certified because it is assured answers neither the certification criteria nor the trail. Certification theater is not that artifact.

Assured Is Not Guaranteed on the successor spine is prior reading. Read it at /insights/successor-assured-is-not-guaranteed. Assured, there, is instrument-required assurance that the sustained successor-obligation outcome will continue to meet the named successor conditions for the next named assurance window, trailed from the sustain evidence. Guaranteed, there, is instrument-required guarantee that undertakes that assured successor-obligation outcome. This essay does not collapse into Assured Is Not Guaranteed. This essay does not rewrite Assured Is Not Guaranteed. This essay does not rewrite that thesis. This essay does not give that assured a new meaning. Keep this assured distinct from the successor-spine Assured Is Not Guaranteed. A named assurance claim with evidence boundaries is not that guarantee, and it is not a new meaning of that assurance. Certification is the next refusal on this industrial assurance spine. A named assurance claim is not a certification artifact.

Assured Is Not Guaranteed on the filing spine shares that prior title and must stay a different refusal. Read it at /insights/assured-is-not-guaranteed. Assured, there, is forward instrument-required assurance that the named asset or system will continue to meet those operating conditions for the next named period, load, or duty window. Guaranteed, there, is a binding instrument-required guarantee, warranty, indemnity, or liquidated-performance undertaking. This essay does not collapse into Assured Is Not Guaranteed. This essay does not rewrite Assured Is Not Guaranteed. This essay does not rewrite that thesis. Keep this assured distinct from the filing-spine Assured Is Not Guaranteed. This assured is a named assurance claim with evidence boundaries (what is claimed, by whom, under what scope). It is not a rewrite of that forward assurance. The filing essay stays at /insights/assured-is-not-guaranteed.

Recoverable Is Not Assured on the filing spine is prior reading at a different URL. Read it at /insights/recoverable-is-not-assured. Recoverable, there, means after a real disruption, or a named recovery drill that actually breaks the live path, the named successor restores the governed owned compounding system to a named service level inside a named RTO/RPO with evidence continuity still holding. Assured, there, means independent, recurring verification that recovery capability still holds under the current named owner. This essay does not collapse into Recoverable Is Not Assured. This essay does not rewrite Recoverable Is Not Assured. This essay does not rewrite that thesis. This essay does not open a successor route for Recoverable Is Not Assured. The successor route for Recoverable Is Not Assured is closed. This assured is a named assurance claim with evidence boundaries. It is not a rewrite of that recovery-capability assurance. The live filing-spine essay stays at /insights/recoverable-is-not-assured.

Assured Is Not Certified on the filing spine shares this title and must stay a different refusal. Read it at /insights/assured-is-not-certified. Assured, there, means independent, recurring verification that recovery capability still holds under the current named owner, tooling rights, exception paths, and evidence continuity. Certified, there, means a third-party or internal program stamp that a recovery or continuity program exists or once met a named checklist. This essay does not collapse into Assured Is Not Certified. This essay does not rewrite Assured Is Not Certified. This essay does not rewrite that thesis. This assured is a named assurance claim with evidence boundaries (what is claimed, by whom, under what scope). This certified is an external or formal certification artifact that can be independently verified — not a filing program stamp treated as this certification package. The filing essay stays at /insights/assured-is-not-certified. This essay is the industrial assurance spine, registered beside it so the two refusals keep separate evidence trails.

Certified Is Not Insured is forward reading on the filing spine. Read it at /insights/certified-is-not-insured. Certified, there, means a third-party or internal program stamp that a recovery or continuity program exists or once met a named checklist. Insured, there, means a named, in-force indemnity or coverage instrument that actually responds when recovery fails or loss lands. This essay does not collapse into Certified Is Not Insured. This essay does not rewrite Certified Is Not Insured. This essay does not rewrite that thesis. This certified is an external or formal certification artifact that can be independently verified, trailed from a named assurance claim. It is not a rewrite of that filing program stamp, and it is not insurance. The live filing-spine essay stays at /insights/certified-is-not-insured. The next successor route for Certified Is Not Insured may be opened in prose only at /insights/successor-certified-is-not-insured. This essay does not implement that page.

Sustained Is Not Assured sits earlier on the successor control spine and must stay distinct. Sustained is not assured. That essay separates the continued-force hold of an operated successor-obligation outcome from instrument-required assurance for the next named assurance window. This essay does not collapse into Sustained Is Not Assured. This essay does not rewrite Sustained Is Not Assured. This essay does not rewrite that thesis. This essay does not give that assured a new meaning. Assurance evidence on that spine is not this certification artifact.

Guaranteed Is Not Collectible opens a finished successor loop that runs from guaranteed through collectible and on to sustained. This essay does not collapse into Guaranteed Is Not Collectible. This essay does not rewrite Guaranteed Is Not Collectible. This essay does not recreate the guaranteed-to-collectible-to-sustained successor loop. Collectible recovery is not this certification artifact.

Accepted Is Not Sustained closes that same guaranteed-to-collectible-to-sustained successor loop. Accepted is not sustained. This essay does not collapse into Accepted Is Not Sustained. This essay does not rewrite Accepted Is Not Sustained. This essay does not recreate the guaranteed-to-collectible-to-sustained successor loop. That sustainment is not an external or formal certification artifact.

Binding Is Not Enforced belongs to the finished binding-to-transferable successor loop. Binding is not enforced. This essay does not collapse into Binding Is Not Enforced. This essay does not rewrite Binding Is Not Enforced. This essay does not recreate the binding-to-transferable successor loop. This essay does not restate Binding Is Not Enforced as this claim. Enforcement evidence is not this certification artifact.

Transferable Is Not Binding closes that binding-to-transferable successor loop. Transferable is not binding. This essay does not collapse into Transferable Is Not Binding. This essay does not rewrite Transferable Is Not Binding. This essay does not recreate the binding-to-transferable successor loop. This essay does not restate Transferable Is Not Binding as this claim. A transferable packet is not this assured, and it is not this certified.

Sustained Is Not Scaled opens the finished sustained-to-scaled-to-rehearsed successor loop. This essay does not collapse into Sustained Is Not Scaled. This essay does not rewrite Sustained Is Not Scaled. This essay does not recreate the sustained-to-scaled-to-rehearsed successor loop. Scale of a sustained outcome is not this certification artifact.

Transferable Is Not Rehearsed is the latest essay on that finished scale loop. Transferable is not rehearsed. This essay does not collapse into Transferable Is Not Rehearsed. This essay does not rewrite Transferable Is Not Rehearsed. This essay does not recreate the sustained-to-scaled-to-rehearsed successor loop. This essay does not claim a successor route for Rehearsed Is Not Recoverable. A rehearsed transfer is not this certification artifact.

Rehearsed Is Not Recoverable on the filing spine is where that scale order stops for successor routes. This essay does not collapse into Rehearsed Is Not Recoverable. This essay does not rewrite Rehearsed Is Not Recoverable. This essay does not claim a successor route for Rehearsed Is Not Recoverable. This essay does not recreate the sustained-to-scaled-to-rehearsed successor loop. A restore inside a named RTO/RPO is not this certification artifact. The live filing-spine essay stays at /insights/rehearsed-is-not-recoverable.

Guaranteed Is Not Collectible on the filing spine is a different URL. A binding guarantee is not collectible recovery, and neither record is this certification artifact. This essay does not collapse into Guaranteed Is Not Collectible. This essay does not rewrite that thesis. This essay does not recreate the guaranteed-to-collectible-to-sustained successor loop. The live filing-spine essay stays at /insights/guaranteed-is-not-collectible.

Sustained Is Not Assured on the filing spine is forward assurance of a named asset for the next period, load, or duty window. This essay does not collapse into that filing-spine Sustained Is Not Assured. This essay does not rewrite that thesis. This essay does not give that assured a new meaning. Forward assurance is not an external or formal certification artifact that can be independently verified.

Transferable Is Not Binding on the filing spine is a later refusal whose successor loop is already completed. This essay does not collapse into Transferable Is Not Binding. This essay does not rewrite Transferable Is Not Binding. This essay does not recreate the binding-to-transferable successor loop. The live filing-spine essay stays at /insights/transferable-is-not-binding.

Binding Is Not Enforced on the filing spine is bind mechanics versus named demand, default, remedy, or enforcement. This essay does not collapse into Binding Is Not Enforced. This essay does not rewrite Binding Is Not Enforced. This essay does not restate Binding Is Not Enforced as this claim. A filed demand is not a certification artifact. The live filing-spine essay stays at /insights/binding-is-not-enforced.

A filing counterpart is not this assured. A filing program stamp is not this certified. A recovery drill is not this certified. A dashboard green tile with no assurance boundary is not this certified. A verbal "it is assured" is not this certified. A certificate PDF with no independent verification path is not this certified. A laminated badge is not this certified. A chat note that says certified is not this certified. A status light that never names what is claimed, by whom, or under what scope is not this assured. Certification theater is not an external or formal certification artifact that can be independently verified. Assurance theater is not a named assurance claim with evidence boundaries. The independent verification path has to be the path the artifact names. Certification of a different claim, a different scope, or of an assurance package the record does not cite is not this certified. Refuse the slide from "it is assured" to "it is certified." A named assurance claim is not a certification artifact.

What a certification record is allowed to be

Evidence may cite an assurance record when the source of that assurance is named, and when the citation names the same entity, the same channel, and the same outcome the certification record is about. The citation still has to show the unbroken trail from that assurance evidence to the certification evidence, with named certifier / artifact / verifier roles, named certification criteria met (assurance package cited, the external or formal certification artifact named, the independent verification path stated), dates, and the artifact the instrument names. A citation of a badge, or of a matter someone calls assured, without the certification mechanics, is not this certified. A certificate PDF with no independent verification path is not certification.

A certification record is allowed to be a certification package with named certifier / artifact / verifier roles, named certification criteria met, and dates, with a trail from the assurance evidence to that certification: the assurance package cited against the named assurance claim, the external or formal certification artifact named, the independent verification path stated, and other named certification evidence the instrument requires so the same bar survives the claim. It is not allowed to be the slide from "it is assured" to "it is certified." It is not allowed to be a certificate PDF with no independent verification path. It is not allowed to be a laminated badge. It is not allowed to be a chat note that says certified. It is not allowed to be a verbal "it is certified." A named assurance claim is not a certification artifact. An assurance package alone is not certification of that assured successor outcome.

The artifact the certification record covers has to be the external or formal certification artifact the instrument names for that assurance claim, the same matter the assurance record holds with evidence boundaries: what is claimed, by whom, and under what scope. Certification for a different claim, a different party, a different scope, or an artifact the instrument does not name is not this certified. The certifier, the artifact, the verifier, the cited assurance package, the independent verification path, and the dates have to match the assurance evidence. A record that floats free of that trail is assurance theater, or it is certification theater, and it is not this certified. A verbal "it is assured" is not this assured. Assured is not certified.

Named assured is not certified

Named assured is not certified. The assured practice is not the certified practice. An assurance record answers whether there is a named assurance claim with evidence boundaries (what is claimed, by whom, under what scope). A certification record answers whether an external or formal certification artifact can be independently verified, with the assurance package cited and a trail from the assurance evidence to that certification. Assured is not certified.

A claim that it is assured so it is certified, while the assurance trail is missing, is not this certified. A certificate PDF with no independent verification path, a laminated badge, a chat note that says certified, or a verbal "it is certified" while required assurance evidence is missing is certification theater, and it is not this assured. A certification claim alone is not proof the named assurance evidence was on the file. A verbal "it is certified" alone is neither. Assurance evidence alone is not certification of that assured successor outcome. A firm can hold a certificate and still not have made the named assurance claim. A firm can hold that claim with evidence boundaries and still lack an external or formal certification artifact that can be independently verified.

A named assurance claim with no certification evidence behind it is not this certified. Certification has to trail back to the assurance evidence, and the assurance evidence has to name what is claimed, by whom, and under what scope. A certification package that floats free of that trail is not this certified. What changes Tuesday is the refusal to let one record wear the other record name. Field proof is the named trail with an external or formal certification artifact that can be independently verified, not the slide. Assured is not certified. Sync must not auto-approve assurance claims or auto-certify the assurance. Sync must not treat assured as certified as Learning credit. Recommend is not authorize. Refuse the slide from "it is assured" to "it is certified." A named assurance claim is not a certification artifact.

Where the public statement lives

Field Manual v0 is the public contents of this loop. Start at the manuals index or open Sync Field Manual directly. Evidence may hold the assurance record or the certification record that was shown. Human decision may hold who accepted the consequence. Verification may hold the named observation. Learning may hold achieved, not_achieved, or inconclusive, with measured notes — the measured outcome of the case, not this essay definition of certified, and not assured used as certified. The Honesty boundaries keep this edition from treating an assurance record as successor certification. Later editions can deepen a chapter. The spine stays in this order.

Decision Case spine

  1. 01Question
  2. 02Evidence
  3. 03Recommendation
  4. 04Human decision
  5. 05Action
  6. 06Verification
  7. 07Learning

The order is the public statement. The essay is one refusal inside it. Read Honesty boundaries.

What this article is not claiming

This is an essay about the Decision Case order, not a customer case study. It names no plant, states no savings figure, states no price, and claims no prevented failure. It does not claim that assured is certified, that assured is guaranteed, that recoverable is assured, that certified is insured, that guaranteed is collectible, that binding is enforced, that transferable is binding, that sustained is scaled, that transferable is rehearsed, or that rehearsed is recoverable. It does not write a CMMS work order, certify an assurance claim, book revenue, recognize revenue, or attribute a change in cash, risk, or capacity. Sync does not measure assurance. Sync does not measure certification. Sync does not measure assurance or certification for the customer. Sync does not deem certified for the customer. Sync does not measure certification for the customer. It does not claim that Sync executes plant work. It does not claim CMMS write-back as a shipped product. It does not claim billing write-back as a shipped product. It does not invent a customer, a price, or a return. It does not open a successor route for Recoverable Is Not Assured. It does not claim a successor route for Rehearsed Is Not Recoverable. It does not implement the next successor page for Certified Is Not Insured. It does not recreate the guaranteed-to-collectible-to-sustained successor loop. It does not recreate the binding-to-transferable successor loop. It does not recreate the sustained-to-scaled-to-rehearsed successor loop. Recommend is not authorize.

Stage-1 readiness means a signed-in user can complete the Decision Case — question, evidence, recommendation, human decision, action, verification, and learning — and Field Manual v0 describes that journey. Walking those steps is not a claim that assured is certified. A Reliability Assessment asks whether the records can support a conclusion. A Strategic Pilot is a governed proof around one operating decision. The verification chapter records the measured result. The assurance package does not approve certification of the outcome.

Read the case, then bring a question

Field Manual v0 states the order and the boundaries. Assured is a named assurance claim with evidence boundaries (what is claimed, by whom, under what scope). Certified is an external or formal certification artifact that can be independently verified. A firm with an assurance record can still lack certification. A firm with a certification claim can still lack assurance. The Reliability Engineer workspace is where a signed-in Decision Case is completed. A Reliability Assessment is the bounded review when the question is whether the records can support a conclusion. None of those is a claim that Sync certifies an assured successor outcome, executes plant work, books revenue, or that CMMS write-back is live, that billing write-back is live, or that self-guided onboarding is a live product path. Surfacing is still a read. Recommend is not authorize. Forward reading on the filing spine remains Certified Is Not Insured at /insights/certified-is-not-insured. The next successor route for Certified Is Not Insured may be opened in prose only at /insights/successor-certified-is-not-insured. This essay does not implement that page. This essay does not open a successor route for Recoverable Is Not Assured. Prior reading stays at successor and filing Assured Is Not Guaranteed, and at filing Recoverable Is Not Assured, without rewriting those theses.