From 2b8bba8eb02b8cf4d159e80d9922d33cb9ad5f85 Mon Sep 17 00:00:00 2001
From: Orie Steele <orie@transmute.industries>
Date: Fri, 20 Jan 2023 16:18:22 -0600
Subject: [PATCH 1/3] Propose "instead of" in terms of media type

---
 index.html | 34 ++++++++++++++++++++++++++++------
 1 file changed, 28 insertions(+), 6 deletions(-)

diff --git a/index.html b/index.html
index 281c84f4..37d19702 100644
--- a/index.html
+++ b/index.html
@@ -519,12 +519,14 @@ <h6>JWT Decoding</h6>
       </section>
     </section>
 
+    <section id="version-1.1">
+      <h2>Version 1.1</h2>
     <section id="production">
       <h2>Production</h2>
 
       <p>
         This section describes how to produce a VC-JWT encoded
-        <code>VerifiableCredential</code> from a <code>Credential</code>.
+        <code>VerifiableCredential</code> from an object of media type <code>application/credential+ld+json</code>.
       </p>
 
       <p class="advisment">
@@ -540,14 +542,14 @@ <h3>In addition to...</h3>
 
         <p>
           There are several members (claims) of the
-          <code>Credential</code> which will need to be translated to their JOSE
+          <code>application/credential+ld+json</code> which will need to be translated to their JOSE
           form, and included next to the <code>vc</code> or
           <code>vp</code> member in the JWT Claims Set. 
           We refer to the JWT Claims Set as <code>payload</code> in this section.
         </p>
 
         <p>
-          If a member is not present in the <code>Credential</code> it MUST NOT
+          If a member is not present in the <code>application/credential+ld+json</code> it MUST NOT
           be present in the <code>VerifiableCredential</code> as either a claim
           in the payload or a claim in the <code>vc</code> attribute of the
           payload.
@@ -556,7 +558,7 @@ <h3>In addition to...</h3>
         <p>
           We start with an empty header, and payload objects, and we add members
           to the header and the payload based on the content in the
-          <code>Credential</code>.
+          <code>application/credential+ld+json</code>.
         </p>
 
         <section>
@@ -621,10 +623,30 @@ <h4>issuance</h4>
 
       <section>
         <h3>Instead of...</h3>
-        <p class="issue">This section needs to be defined.</p>
+        <p>
+          This representation can be obtained by:
+        </p>
+        <ol>
+          <li>
+            Completing the mapping for <a href="#in-addition-to">In Addition To...</a>.
+          </li>
+          <li>
+            Removing any properties from the <code>application/credential+ld+json</code> that were mapped.
+          </li>
+          <li>
+            Setting the resulting object to be the <code>vc</code> member of the claim set.
+          </li>
+        </ol>
+
+        <p class="note">
+          The object value for the <code>vc</code> property, 
+          when <a href="#instead-of">Instead of...</a> production rules have been applied, 
+          is not of media type <code>application/credential+ld+json</code>.
+        </p>
+
       </section>
     </section>
-
+    </section>
     <section>
       <h2>Privacy Considerations</h2>
     </section>

From a3656e56be350462f8505193d2b7c3a213c10fec Mon Sep 17 00:00:00 2001
From: Orie Steele <orie@or13.io>
Date: Fri, 20 Jan 2023 17:34:18 -0600
Subject: [PATCH 2/3] Update index.html

Co-authored-by: Ted Thibodeau Jr <tthibodeau@openlinksw.com>
---
 index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.html b/index.html
index 37d19702..3d01d316 100644
--- a/index.html
+++ b/index.html
@@ -624,7 +624,7 @@ <h4>issuance</h4>
       <section>
         <h3>Instead of...</h3>
         <p>
-          This representation can be obtained by:
+          The following steps are one way to obtain this representation:
         </p>
         <ol>
           <li>

From 47cb25974ddac0e967bfc4f0a8e135fc3faeb115 Mon Sep 17 00:00:00 2001
From: Orie Steele <orie@or13.io>
Date: Fri, 20 Jan 2023 17:35:02 -0600
Subject: [PATCH 3/3] Update index.html

Co-authored-by: Ted Thibodeau Jr <tthibodeau@openlinksw.com>
---
 index.html | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/index.html b/index.html
index 3d01d316..4c50dbb2 100644
--- a/index.html
+++ b/index.html
@@ -628,13 +628,13 @@ <h3>Instead of...</h3>
         </p>
         <ol>
           <li>
-            Completing the mapping for <a href="#in-addition-to">In Addition To...</a>.
+            Complete the mapping for <a href="#in-addition-to">In Addition To...</a>.
           </li>
           <li>
-            Removing any properties from the <code>application/credential+ld+json</code> that were mapped.
+            Remove any properties from the <code>application/credential+ld+json</code> that were mapped.
           </li>
           <li>
-            Setting the resulting object to be the <code>vc</code> member of the claim set.
+            Set the resulting object to be the <code>vc</code> member of the claim set.
           </li>
         </ol>