diff --git a/index.html b/index.html
index ecd44e7e0..822c02b8a 100644
--- a/index.html
+++ b/index.html
@@ -3000,69 +3000,72 @@
Lifecycle Details
Trust Model
-The [=verifiable credentials=] trust model is as follows:
+The [=verifiable credentials=] trust model is based on the following
+expectations:
-
-The [=verifier=] trusts the [=issuer=] to issue the [=credential=] that
-it received. To establish this trust, a [=credential=] is expected to either:
+The [=verifier=] expects the [=issuer=] to verifiably issue the
+[=credential=] that it receives. This can be established by satisfying
+either of the following:
-
-Secure the [=credential=] with a securing mechanism establishing that the
-[=issuer=] generated the [=credential=] (that is, it is a
-[=verifiable credential=]), or
+A [=verifier=] is expected to secure a [=credential=] with a
+securing mechanism which establishes
+that the [=issuer=] generated the [=credential=]. (In other words, an
+[=issuer=] is expected to [=issue=] a [=verifiable credential=].)
-
-Have been transmitted in a way clearly establishing that the [=issuer=]
-generated the [=verifiable credential=] and that the
-[=verifiable credential=] was not tampered with in transit or storage. This
-trust could be weakened depending on the risk assessment of the [=verifier=].
+A [=credential=] is expected to be transmitted in a way that clearly
+establishes that the [=issuer=] generated the [=credential=], and that
+the [=credential=] was not tampered with in transit nor storage. This
+expectation could be weakened, depending on the risk assessment by the
+[=verifier=].
-
-All [=entities=] trust the [=verifiable data registry=] to be
-tamper-evident and to be a correct record of which data is controlled by which
-[=entities=].
+All [=entities=] expect the [=verifiable data registry=] to be tamper-evident
+and to be a correct record of which data is controlled by which [=entities=].
-
-The [=holder=] and [=verifier=] trust the [=issuer=] to issue
-true (that is, not false) [=credentials=] about the [=subject=], and to
-revoke them quickly when appropriate.
+The [=holder=] and [=verifier=] expect the [=issuer=] to stand by [=claims=]
+it makes in [=credentials=] about the [=subject=], and to revoke [=credentials=]
+quickly if and when they no longer stand by those [=claims=].
-
-The [=holder=] trusts the [=repository=] to store [=credentials=]
-securely, to not release them to anyone other than the [=holder=], and to not
-corrupt or lose them while they are in its care.
+The [=holder=] expects the [=repository=] to store [=credentials=] securely,
+to not release [=credentials=] to anyone other than the [=holder=] (which may
+subsequently [=present=] them to a [=verifier=]), and to not corrupt nor lose
+[=credentials=] while they are in its care.
This trust model differentiates itself from other trust models by ensuring
-the:
+the following:
-
-[=Issuer=] and the [=verifier=] do not need to trust the
-[=repository=]
+The [=issuer=] and [=verifier=] do not need to know anything about the
+[=repository=].
-
-[=Issuer=] does not need to know or trust the [=verifier=].
+The [=issuer=] does not need to know anything about the [=verifier=].
-By decoupling the trust between the [=identity provider=] and the
-[=relying party=] a more flexible and dynamic trust model is created such
-that market competition and customer choice is increased.
+By decoupling the expectations between the [=issuer=] and the [=verifier=],
+a more flexible and dynamic trust model is created, such that market
+competition and customer choice is increased.
For more information about how this trust model interacts with various threat
-models studied by the Working Group, see the Verifiable Credentials Use Cases
-document [[VC-USE-CASES]].
+models studied by the Working Group, see the [[[VC-USE-CASES]]] [[VC-USE-CASES]].
@@ -5298,7 +5301,7 @@
Signature-Based Correlation